コマンド PolynomialSystem(eqns, vars) は、指定した変数 vars について、多項式方程式のシステム eqn を解きます。

notz が指定されると、関数 PolynomialSystem は、notz により指定される式を含む解を返しません。

maxsols が指定されると、関数 PolynomialSystem は、maxsols により指定される解の数を返します。

maxsols を指定しても、notz の使用で返される解を制限したくない場合、notz を空集合として指定する必要があります。

関数 PolynomialSystem は、解を効率的に見つけるために、いくつかの発見的なテクニックを使用します。これらのテクニックがうまくいかない場合、関数は、グレブナ基底の方法を使用します。

with(SolveTools):
PolynomialSystem({x^2+y,x-y^3-2},{x,y});

PolynomialSystem([x^3+y*x^3,x-y*x^3-2],[x,y],{y+1});

PolynomialSystem([y-x^2+1, y+x^2-1], [x,y], {}, 2);