Comando GroebnerLexGrInv

Sintassi CAS

GroebnerLexGrInv(Lista di polinomi): Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili (anche noto come (https://en.wikipedia.org/wiki/Monomial_order grevlex)).

GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}) restituisce { $y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y +1$ }.

GroebnerLexGrInv(Lista di polinomi, Lista di variabili): Calcola la base di Gröbner della lista di polinomi, con ordinamento lessicografico inverso rispetto al grado delle variabili indicate.

GroebnerLexGrInv({x^3 - y - 2, x^2 + y + 1},{y, x}) restituisce { $x^{2} + y + 1, y x + y + x + 2, y^{2} + 3y - x + 3$ }.

Vedere anche i comandi GroebnerLex e GroebnerLexGr.