Comando GroebnerDegRevLex
De Vista CAS C~omputaciónAlgebraicaSimbólica~
- 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).
GroebnerLexRevGrado[{x^3 - y - 2,x^2 + y + 1}] da por resultado: \{\( 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).
GroebnerLexRevGrado[{x^3 - y - 2,x^2 + y + 1},{y, x}] da por resultado:[.small]\{\( x^\{2} - y, y x - x,
y^\{2} - y \)}.
|
Ver también los comandos GroebnerLex y GroebnerLexDeg. |