solve エンジンに対するプログラミングレベルのインターフェイス。最小限の前処理および後処理を実行し、{var1 = expr1, var2 <= expr2, .. } 形式の解のリストを返します。

allsolutions

無限に多数の解を持ちうる非代数方程式のパラメータ化された解を返します(デフォルトは false です)。

conditionalsolutions

区分的条件を伴う解を返します(デフォルトは true です)。

dropmultiplicity

多項式の重複した同一解を返しません(デフォルトは false です)。

explicit

可能な場合に、解の RootOfs を根として表します(デフォルトは false です)。

maxsols = posint または pos_infinity

返される解の数を制限します(デフォルトは  です)。

SolveTools:-Engine({x^2+1},{x});

SolveTools:-Engine({cos(x)-1},{x},allsolutions);

SolveTools:-Engine({x^4+1},{x},explicit);