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\)}.