Comando GroebnerDegRevLex
Sintaxis CAS
- GroebnerDegRevLex( <Lista de polinomios> )
-
Establece las bases Gröbner de la lista de polinomios con respecto al orden inverso de grado léxico-gráfico de las variables (también conocido como orden total de grado inverso léxico-gráfico o eliminación por orden).
GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1})
devuelve {\( y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y +
1 \)}.
- GroebnerDegRevLex( <Lista de polinomios>, <Lista de variables> )
-
Establece las bases Gröbner de la lista de polinomios con respecto al orden inverso de grado léxico-gráfico de las variables indicadas (también conocido como orden total inverso de grado léxico-gráfico o eliminación por orden).
GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}, {y, x})
devuelve {\( x^{2} + y + 1, y x + y + x + 2, y^{2} + 3y - x + 3\)}.
Ver también los comandos GroebnerLex y GroebnerLexDeg. |