HasRealRoots 関数は、sys で定義された等式のシステムが実根を持つかどうかを検査します。

この関数は ブール(boolean)を返しますが、sys が実数のゼロを持つ場合には  を、それ以外の場合には  を返します。

 sys 内の等式は有理係数を伴う多項式である必要があります。sys 内に表示される多項式  はすべて、等式  と解釈されます。

名前のリスト vars が与えられる場合、vars は sys 内に表示されるすべての変数を含んでいなければなりません。リストにおける順序は内部での計算に使用されます。

with(RootFinding):

HasRealRoots([x^2+y^2+2]);

HasRealRoots([x^2+y^2,z-x^3],[x,y,z]);

HasRealRoots([(x^2+(y-1)^2)^2]);

HasRealRoots([x^4-4*x^2+4=-1]);