Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > 多項式代数 > 多項式系 > Resultant >

Resultant

Resultant
多項式 の変数 に関する終結式を計算する.
Resultant[poly1, poly2, var, Modulus->p]
終結式の素数 を法とした計算をする.
  • 主係数を1とする2つの多項式 の終結式は,すべての多項式の解の差 の積である.終結式は必ず数または多項式になる.
多項式が共通根を持った点で終結式は消失する:
多項式が共通根を持った点で終結式は消失する:
In[1]:=
Click for copyable input
Out[1]=
数値係数を持つ多項式の終結式:
パラメータ的な係数を持つ多項式の終結式:
3を法とする整数上での終結式:
終結式は根の多重性を反映する:
有理関数の終結式は乗法特性を使って定義される:
以下で,終結式の計算に使用可能なメソッドの所要時間を比較する:
デフォルトで終結式は有理数上で計算される:
同じ多項式の終結式を2を法とする整数上で計算する:
同じ多項式の終結式を3を法とする整数上で計算する:
2つの多項式が共通根を持つかどうか調べる:
2つの多項式が共通根を持つ条件を求める:
多項式が共通根を持つ場合にのみ終結式が零になる:
多項式が定数ではないPolynomialGCDを持つ場合にのみその多項式の終結式は零になる:
終結式は として根を使って表すことができる:
方程式は,DiscriminantおよびResultantに関連している:
GroebnerBasisを使って共通根の条件を求めることもできる:
同じ問題を,ReduceResolveEliminateを使って解くこともできる:
次の2つの多項式は共通根を持たない:
近似係数を使うと,この2つは共通根を持つように見える:
より精度を高めると,共通根がないことが示される:
バージョン 1 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF