グレブナー基底は単項式順序依存 単項式順序を変えるとグレブナー基底が変わる よく言うグレブナー基底の単項式順序は、変数文字の辞書式順序 今、（例えば）３変数を取り、３変数に値を付与すると、3次元ベクトルが得られる この3変数に与えた値を使って、…