GroebnerDegRevLex コマンド
このコマンドは CAS View でのみ利用できる.
CAS での書式
- GroebnerDegRevLex( <多項式のリスト> )
-
変数の次数付き逆辞書式順序（ 全次数逆辞書式順序， degrevlex， grevlex 順序としても知られている）に関して，多項式のリストのグレブナー基底を計算する．
GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}) 出力 \{\( y^{2} - x + 3 y + 3, x y + x + y + 2, x^{2} + y + 1\)}.
- GroebnerDegRevLex( <多項式のリスト>, <変数のリスト> )
-
指定された変数の次数付き逆辞書式順序（ 全次数逆辞書式順序， degrevlex， grevlex 順序としても知られている）に関して，多項式のリストのグレブナー基底を計算する．
GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}, {y, x}) 出力： \{\( x^{2} + y + 1, y x + y + x + 2, y^{2} + 3y - x + 3\)}.
|
こちらも参照： GroebnerLex, GroebnerLexDeg コマンド． |