Commande GroebnerLex

GroebnerLex( <Liste Polynômes> )

Calcule la base de Groebner de la liste des polynômes selon l’ordre lexicographique des variables.

Exemple :

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

GroebnerLex( <Liste Polynômes>, <Liste Variables> )

Calcule la base de Groebner de la liste des polynômes selon l’ordre lexicographique des variables indiquées.

Exemple :

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

Note : Voir aussi les commandes GroebnerDegInvLex, et GroebnerLexDeg.