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. |