Comando GroebnerLexGr

Sintassi CAS

GroebnerLexGr(Lista di polinomi)

Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico del grado delle variabili (anche noto come (http://en.wikipedia.org/wiki/Monomial_order grlex)).

GroebnerLexGr({x^3 - y - 2, x^2 + y + 1}) restituisce \{\( -y^\{2} + x - 3 y - 3, -x y - x - y - 2, x^\{2} + y + 1\)}.

GroebnerLexGr(Lista di polinomi, Lista di variabili)

Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico del grado delle variabili indicate.

GroebnerLexGr({x^3 - y - 2, x^2 + y + 1},{y, x}) restituisce \{\( x^\{2} + y + 1, -y x - y - x - 2, y^\{2} + 3 y - x + 3 \)}.

Vedere anche i comandi GroebnerLexGrInv e GroebnerLex.