GröbnerLexGrad (Befehl)

CAS Syntax

GröbnerLexGrad[ <Liste von Polynomen> ]: Berechnet die Gröbner-Basis der Liste von Polynomen in Bezug auf die gradierte, absteigende lexikographische Ordnung der Variablen.
GröbnerLexGrad[ <Liste von Polynomen>, <Liste von Variablen> ]: Berechnet die Gröbner-Basis der Liste von Polynomen in Bezug auf die gradierte, absteigende lexikographische Ordnung der gegebenen Variablen.

GroebnerLexDeg[{x^3 - y -2, x^2 + y + 1}, {y, x}] liefert \(\{ x^{2} + y + 1, -y x - y - x - 2, y^{2} + 3 y - x + 3 \}\).

GröbnerLexGrad[{x^3 - y - 2, x^2 + y + 1}] liefert \(\{ -y^{2} + x - 3 y - 3, -x y - x - y - 2, x^{2} + y + 1\}\).