Comando GroebnerLex
De Vista CAS C~omputaciónAlgebraicaSimbólica~
- GroebnerLex( <Lista de Polinomios> )
-
Establece las bases Gröbner de la lista de polinomios con respecto al orden de grado léxico-gráfico de las variables (también conocido como orden total de grado léxico-gráfico o eliminación por orden).
GroebnerLex[{x^3 - y - 2,x^2 + y + 1}] da por resultado:[.small][.small]\{\( y^\{3} + 4 y^\{2} + 7 y + 5, x
- y^\{2} - 3 y - 3 \)}.##
- GroebnerLex( <Lista de Polinomios>, <Lista de Variables> )
-
Establece las bases Gröbner de la lista de polinomios con respecto al orden de grado léxico-gráfico de las variables indicadas (también conocido como 'orden total de grado léxico-gráfico o eliminación por orden).
GroebnerLex[{x^3 - y - 2,x^2 + y + 1},{y, x}] da por resultado;[.small]\{\( -x^\{3} - x^\{2} + 1, -y - x^\{2}
- 1 \)}
|
Ver también los comandos GroebnerLexDeg y GroebnerDegRevLex. |