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 (http://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. |