GröbnerGradRevLex (Befehl)
CAS Syntax
- GröbnerGradRevLex( <Liste von Polynomen> )
-
Berechnet die Gröbner-Basis der Liste von Polynomen in Bezug auf die gradierte, aufsteigende lexikographische Ordnung der Variablen.
- GröbnerGradRevLex( <Liste von Polynomen>, <Liste von Variablen> )
-
Berechnet die Gröbner-Basis der Liste von Polynomen in Bezug auf die gradierte, aufsteigende lexikographische Ordnung der gegebenen Variablen.
GröbnerGradRevLex[{x^3 - y - 2, x^2 + y + 1}, {y, x}] liefert \{\( x^\{2} - y, y \; x - x, y^\{2} - y \)}.
GröbnerGradRevLex[{x^3 - y - 2, x^2 + y + 1}] liefert \{\( y^\{2} - x + 3 y + 3, x y + x + y + 2, x^\{2} + y +
1 \)}.
|
Siehe auch die Befehle GröbnerLex und GroebnerLexGrad. |