Comando GroebnerLex

Sintassi CAS

GroebnerLex(Lista di polinomi)

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

GroebnerLex({x^3 - y - 2, x^2 + y + 1}) restituisce \{\( y^{3} + 4 y^{2} + 7 y + 5, x - y^{2} - 3 y - 3 \)}.

GroebnerLex(Lista di polinomi, Lista di variabili)

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

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

Vedere anche i comandi GroebnerLexGrInv e GroebnerLexGr.