GroebnerDegRevLex コマンド

このコマンドは CAS View でのみ利用できます。.

CAS での書式

GroebnerDegRevLex( <多項式のリスト> )

変数の次数付き逆辞書式順序( 全次数逆辞書式順序degrevlexgrevlex 順序としても知られている)に関して,多項式のリストのグレブナー基底を計算する.

GroebnerDegRevLex( <多項式のリスト>, <変数のリスト> )

指定された変数の次数付き逆辞書式順序( 全次数逆辞書式順序degrevlexgrevlex 順序としても知られている)に関して,多項式のリストのグレブナー基底を計算する.

GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}, {y, x}) 出力: \{\( x^\{2} + y + 1, y x + y + x + 2, y^\{2} + 3 y - x + 3\)}.

GroebnerDegRevLex({x^3 - y - 2, x^2 + y + 1}) 出力 \{\( y^\{2} - x + 3 y + 3, x y + x + y + 2, x^\{2} + y + 1 \)}.

こちらも参照: GroebnerLex, GroebnerLexDeg コマンド.