GreaterComplexity(expr1, expr2) 関数は、式 expr1 が expr2 よりも複雑である場合に true を返します。そうでない場合には、false が返されます。

GreaterComplexityは、式の相対的な複雑度を計算するために、SolveTools[Complexity] を polynomial モードで使用します。Complexity 関数によって式が同じ複雑度を持つとされた場合には、GreaterComplexity は、不定元のより高い辞書式順序を持つほうの数式をより複雑であると判定します。

この関数は、SolveTools パッケージの一部であり、コマンド with(SolveTools) を実行した後でのみ、GreaterComplexity(..) の形で使用が可能です。しかし、SolveTools[GreaterComplexity](..) を用いて、コマンドの長い形によりアクセスすることも常に可能です。

with(SolveTools):
GreaterComplexity(x,2*x);

GreaterComplexity(sin(x),3*x);

GreaterComplexity(x,y);

GreaterComplexity(y,x);