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 (http://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} +
3 y - x + 3\)}.
Vedere anche i comandi GroebnerLex e GroebnerLexGr. |