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.