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.