入口
多項式環
目標
Gröbner 基底
進捗
ルート設計中
ルート地図
- 1多項式環入口準備中
複数変数の多項式を扱う
- 2単項式順序中継点準備中
項の大きさを決める
- 3先頭項中継点準備中
多項式の支配的な項を取り出す
- 4割り算アルゴリズム中継点準備中
多項式を基底で割って余りを見る
- 5S 多項式中継点準備中
先頭項の衝突を消す道具を作る
- 6Gröbner 基底目標準備中
イデアル計算を標準的に実行できる基底を得る
目標までの見通し
イデアル計算を標準的に実行できる基底を得る
入口
多項式環
目標
Gröbner 基底
進捗
ルート設計中
複数変数の多項式を扱う
項の大きさを決める
多項式の支配的な項を取り出す
多項式を基底で割って余りを見る
先頭項の衝突を消す道具を作る
イデアル計算を標準的に実行できる基底を得る
イデアル計算を標準的に実行できる基底を得る