GroebnerGradOmgLex Command

CAS Syntax

GroebnerGradOmgLex( <Lijst met veeltermen> )

Berekent de Gröbner basis van de lijst met veeltermen volgens de gegradeerde omgekeerde lexicografische ordening van de variabelen.

GroebnerGradOmgLex({x^3 - y - 2, x^2 + y + 1}) geeft {\( y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1 \)}.

GroebnerGradOmgLex( <Lijst met veeltermen>, <Lijst met variabelen> )

Berekent de Gröbner basis van de lijst met veeltermen volgens de gegradeerde omgekeerde lexicografische ordening van de gegeven variabelen.

GroebnerGradOmgLex({x^3 - y - 2, x^2 + y + 1}, {y, x}) geeft {\( x^{2} + y + 1, y x + y + x + 2, y^{2} + 3y - x + 3\)}.

Zie ook de commando’s GroebnerLex en GroebnerLexDeg.