GröbnerGradRevLex (Befehl)

CAS Syntax

GröbnerGradRevLex[ <Liste von Polynomen> ]

Berechnet die Gröbner-Basis der Liste von Polynomen in Bezug auf aufsteigende lexikographische Ordnung der Variablen.

Beispiel:

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

GröbnerGradRevLex[ <Liste von Polynomen>, <Liste von Variablen> ]

Berechnet die Gröbner-Basis der Liste von Polynomen in Bezug auf aufsteigende lexikographische Ordnung der gegebenen Variablen.

Beispiel:

GröbnerGradRevLex[{x^3 - y - 2, x^2 + y + 1}, {y, x}] liefert { x^{2} - y, y \; x - x, y^{2} - y }.

Anmerkung: Siehe auch GröbnerLex und GroebnerLexGrad Befehle.