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 |

