Polecenie BazaGroebneraLeks

Specyficzna składnia CAS

BazaGroebneraLeks( <Lista Wielomianów> )

Oblicza bazę Gröbnera dla listy wielomianów względem uporządkowania leksykograficznego zmiennych (w języku angielskim to uporządkowanie określane jest lex, plex lub pure lexical).

BazaGroebneraLeks({x^3-y-2,x^2+y+1}) daje w wyniku {\( y^{3} + 4 y^{2} + 7 y + 5, x - y^{2} - 3 y - 3 \)}.

BazaGroebneraLeks( <Lista Wielomianów>, <Lista Zmiennych> )

Oblicza bazę Gröbnera dla listy wielomianów względem uporządkowania leksykograficznego dla podanej listy zmiennych (w języku angielskim to uporządkowanie określane jest lex, plex lub pure lexical).

BazaGroebneraLeks({x^3-y-2,x^2+y+1},{y,x}) daje w wyniku {\( -x^{3} - x^{2} + 1, -y - x^{2} - 1 \)}.