呼出手順 CellsWithSolutions() はシステム

の実数解がちょうど  であるすべてのセルのインデックスを返します。

呼出手順 CellsWithSolutions() は上記システムの実数解の数が  以上  以下であるすべてのセルのインデックスを返します。

要求された数の解を持つセルが存在しない場合は空のリストが返されます。

このコマンドは RootFinding[Parametric] パッケージの一部であるため、CellsWithSolutions(..) 形式での利用はその前に with(RootFinding[Parametric]) コマンドが実行されている場合に限ります。ただしコマンドをロングフォーマット RootFinding[Parametric][CellsWithSolutions](..) で指定すると、いつでも利用可能です。

with(RootFinding[Parametric]):

m:=CellDecomposition([x^6+a*y^2-b=0,a*x^2+y^2-b*x*y=0], [x,y]):

m:-SamplePoints;

NumberOfSolutions(m);

CellsWithSolutions(m,4);

CellsWithSolutions(m,0..3);