Schnelles symbolisches Lösen von reellen Polynomsystemen
Mathematica 10 bietet eine neue Version des zylindrisch-algebraischen Zerlegungsalgorithmus zum Lösen von Systemen aus rellen Polynomgleichungen und -ungleichungen. Im Folgenden ist der Zeitbedarf zum Lösen von angegeben, wobei
,
,
,
,
,
,
, mit den Variablen in der Reihenfolge
. Das Experiment wurde auf einem Intel Xeon 3.07 GHz 64-bit Linux-System durchgeführt, mit einem Zeitlimit von 36 000 Sekunden. Die unten angeführte Zahl gibt an, wieviel schneller Mathematica 10 als Maple 18 ist.
In[1]:= | ![]() X |
In[2]:= | ![]() X |
In[3]:= | ![]() X |