Große Dreieckssysteme von Polynomen lösen
Funktionen zum Lösen von Gleichungen wie Solve, Reduce, FindInstance und NSolve verwenden nun neue, effiziente Methoden zur Lösung von Systemen, die aus einer nulldimensionalen Dreiecksmenge von Polynomgleichungen und einer beliebigen zusätzlichen Bedingung bestehen.
Nachtstehend sehen Sie die Rechenzeit für die exakten Lösungen von Dreieckssystemen von 
Polynomgleichungen in 
Variablen. Jedes Polynom hat Gesamtgrad 7 mit zufällig erzeugten ganzzahligen Koeffizienten zwischen 
und 
. Das Experiment wurde auf einem Intel Xeon 3.07 GHz 64-Bit Linux-System mit einem Zeitlimit von einer Stunde durchgeführt. Die Zahl unten zeigt an, wieviel mal schneller Version 12 als Version 11 ist.
Hier sind die Rechenzeiten für die gleichen Systeme wie zuvor, mit einer zusätzlichen Bedingung, dass das Quadrat der euklidischen Norm der Lösung höchstens 7 beträgt.
