MATHEMATICA 組込みシンボル

GroebnerBasis

多項式の集合

についてグレブナー(Gröbner)基底を形成する多項式をリスト形式で返す．

GroebnerBasis

変数

を消去したグレブナー基底を求める．

詳細

グレブナー基底を形成する多項式の集合は，もとの多項式が持つ複数の根と同じものを持つ．

単一変数の多項式に対して使われるとき，GroebnerBasisはPolynomialGCDに帰着する．

線形関数に対して使われるとき，関数の依存する変数の数によらず，GroebnerBasisはガウスの消去法に等しい．

一般に，グレブナー基底は，単項式に割り当てられた並び順に依存する．この順番はの並び順により変わる．

指定可能なオプション：

MonomialOrder	Lexicographic	単項式の並び順を決定する基準
CoefficientDomain	Automatic	係数とみなされるオブジェクトの型
Method	Automatic	使用するメソッド
Modulus	0	数値係数の法

には，，，，または明示的に重み行列を指定することができる．の目的で単項式は，単項式に現れるの指数を配したリストにより指定される．

の並び順との設定はGroebnerBasisの作業効率に大きく影響する．

には，Rationals，そしてが設定可能である．

Methodオプションで使用可能な設定値にはとがある．

例題

すべて閉じる

例 (1)

グレブナー基底を計算する：

多項式が共通根を持たないことを証明する：

グレブナー基底を計算する：

In[1]:=

Out[1]=

多項式が共通根を持たないことを証明する：

In[2]:=

Out[2]=

スコープ (5)

有限個の共通根を持つ多項式：

無限個の共通根を持つ多項式：

共通根を持たない多項式：

変数を除去する：

辞書式順序のグレブナー基底：

全次数逆辞書式順序のグレブナー基底：

一般化と拡張 (1)

多項式の代りに整方程式を返すことがある：

オプション (8)

デフォルトで，グレブナー基底は有理数の体の上で計算される：

これは，整数環上で強力なグレブナー基底を計算する：

これは，有理関数の体

(a)上でグレブナー基底を計算する：

近似演算を使う：

Automaticの設定では，有理数上で辞書式順序の基底に

を使用する：

この場合は．

アルゴリズムの方が

よりずっと遅くなる：

次の多項式集合は辞書式順序のグレブナー基底に「近い」：

は全次数逆辞書式基底をまず計算している：

ここでは，

アルゴリズムで辞書式基底を直接計算する方が速い：

これは，7を法とする整数の体上でグレブナー基底を計算する：

デフォルトで，GroebnerBasisは辞書式(

)の項順序を使う：

これは，グレブナー基底を全次数逆辞書式(

)の項順序で与える：

項順序は重み順序を与える正則な有理正方行列を与えることで指定してもよい：

項順序となるためには，各列の最初の非零の項が正でなければならない：

z を除去して

についての全次数逆辞書式基底を返す：

パラメータは全変数の後に辞書式順序で並べられる：

これは同様の入力である：

デフォルトで，GroebnerBasisは変数を並べ直すことはしない：

変数の並べ替えで計算は速くなるかもしれないが，グレブナー基底が変わるかもしれない：

一変数多項式のペアの近似GCDを求める：

多項式は整数係数を持つ多項式に近い：

デフォルト設定のTolerance

では，近似GCDの次数が低すぎる：

Toleranceの設定値を高くすると，GroebnerBasisは「よりよい」近似GCDを返す：

アプリケーション (2)

整方程式系を解く：

グレブナー基底は入力多項式と同じ1組の根を持つ：

グレブナー基底の最初の多項式をその唯一の変数 x について解く：

グレブナー基底の二次多項式を他の変数 y について解く：

この方法で，polys のすべての共通根が求まる：

ReduceとSolveはグレブナー基底を使って方程式系を解く：

過剰決定方程式系のファジーな解を得る：

これは，この過剰決定方程式系の低精度近似解を返す：

特性と関係 (6)

グレブナー基底は入力多項式と同じイデアルを生成する：

PolynomialReduceを使って

が

と

に生成されたイデアルにあることを証明する：

ヒルベルト(Hilbert)の零点定理(Nullstellensatz)によると，イデアルが

なら多項式は共通の零点を持たない：

ReduceまたはSolveで共通解がないことを証明する：

これとは逆に，イデアルが

でなければ少なくとも1つの共通零点が存在する：

FindInstanceを使って解の例を求める：

一変数多項式のGroebnerBasisはPolynomialGCDを計算するのと同義である：

一次の同次多項式のGroebnerBasisはガウス(Gauss)消去のプロセスに等しい：

GroebnerBasisは整方程式形を解くのに使われる：

Reduceを使って系を直接解く：

Solveは置換規則で解を返す：

整方程式系から変数を除去する：

Resolveを使って変数を除去する：

Eliminateを使って変数を除去する：

Resultantを使って変数を除去する：