実多項式系の高速記号解法
Mathematica 10には実多項式の方程式系および不等式系を解くのに使われる円筒代数分解(CAD)アルゴリズムの新バージョンが含まれている.次に示すのは の解集合を見付けるのにかかる時間である.ここで
,
,
,
,
,
,
であり,変数の順序は
である.この実験は. Intel Xeon 3.07 GHz 64-bitのLinuxシステムで36,000秒の時間制限で実行された.棒の数は Mathematica 10がMaple 18より何倍速いかを示している.
![]() |