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