連立多項方程式を解くのに便利 解は「多項式集合が定める多様体」 多項式集合Fが定める多様体は、多項式集合のイデアルが定める多様体と同じ。また、イデアルに対するreduced グレブナー基底Gの作るイデアルが定める多様体とも同じで、さらに、Gの定める多様…

グレブナー基底は「多変数の多項式の集合」 グレブナー基底はアルゴリズム的取り扱いをしやすい性質を持つ 任意の多項式集合はグレブナー基底に変換できる グレブナー基底への変換は３つの方法で行う(グレブナー基底は多項式集合に変換ルールを適用した写像…

『What is ... a Grobner Basis?』を読む 大きく分けて 1. グレブナー基底の定義と性質(１ページ目) 2. グレブナー基底の有用性と使い方(２ページ目)