「グレブナー基底」の版間の差分
ナビゲーションに移動
検索に移動
細 ("グレブナー基底" を保護しました。 [edit=sysop:move=sysop]) |
|||
| 1行目: | 1行目: | ||
| − | '''【 ぐれぶなーきてい (Gr | + | '''【 ぐれぶなーきてい (Gröbner basis) 】 |
多変数多項式環の基底の一種で，多項式の集合． | 多変数多項式環の基底の一種で，多項式の集合． | ||
| 5行目: | 5行目: | ||
このとき，有限個の<math>0</math>でない多変数多項式の集合である | このとき，有限個の<math>0</math>でない多変数多項式の集合である | ||
グレブナー基底<math>G</math>は， | グレブナー基底<math>G</math>は， | ||
| − | 任意の<math>0</math>でない多変数多項式<math>f</math>を<math>G</math> | + | 任意の<math>0</math>でない多変数多項式<math>f</math>を<math>G</math>の元で |
| + | 割ったときに， | ||
割り算の順序によらず余りが一意となる良い性質をもつ． | 割り算の順序によらず余りが一意となる良い性質をもつ． | ||
| − | + | グレブナー基底は，ブッフバーガーアルゴリズムと呼ばれる解法で計算される． | |
| − | |||
2007年9月18日 (火) 21:41時点における版
【 ぐれぶなーきてい (Gröbner basis) 】
多変数多項式環の基底の一種で，多項式の集合． 多変数多項式環の単項式順序を固定する． このとき，有限個のでない多変数多項式の集合である グレブナー基底は， 任意のでない多変数多項式をの元で 割ったときに， 割り算の順序によらず余りが一意となる良い性質をもつ． グレブナー基底は，ブッフバーガーアルゴリズムと呼ばれる解法で計算される．
