PRODUCTS
PURCHASE
FOR USERS
COMPANY
OUR SITES
DOCUMENTATION CENTER SEARCH
Mathematica
>
多項式の除算
>
Mathematica
組込みシンボル
多項式の代数演算
チュートリアル »
|
GroebnerBasis
PolynomialRemainder
PolynomialMod
PolynomialQuotient
SymmetricReduction
関連項目 »
|
多項式代数
多項式の除算
その他 »
PolynomialReduce
PolynomialReduce
[
poly
, {
poly
1
,
poly
2
,
...
}, {
x
1
,
x
2
,
...
}]
poly
i
によって
poly
を簡約したリストを返す.求まるリストは
{{
a
1
,
a
2
,
...
},
b
}
の形であり,
b
は最小で,
poly
は
a
1
poly
1
+
a
2
poly
2
+
...
+
b
に等しい.
詳細
多項式
b
は,このいずれの項も任意の
poly
i
の先頭の項で割ることができないという属性を持つ.
poly
i
がグレブナー(Gröbner)基底になっている場合,その属性により
PolynomialReduce
は一意に定まる余りを求められる.
GroebnerBasis
に関して与えられるオプション:
MonomialOrder
Lexicographic
単項式の並び順を決定する基準
CoefficientDomain
Rationals
係数とみなされるオブジェクトの型
Modulus
0
数値係数の法
例題
すべて閉じる
例
(1)
多項式を多項式のリストについて簡約する:
In[1]:=
In[2]:=
HoldForm[Out[2]= ]
は,多項式
と剰余項
の線形結合である:
In[3]:=
HoldForm[Out[3]= ]
スコープ
(1)
オプション
(4)
アプリケーション
(3)
特性と関係
(3)
関連項目
GroebnerBasis
PolynomialRemainder
PolynomialMod
PolynomialQuotient
SymmetricReduction
チュートリアル
多項式の代数演算
その他
多項式代数
多項式の除算
関連リンク
NKS|Online
(
A New Kind of Science
)
バージョン 3 の新機能
© 2008 Wolfram Research, Inc.