Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica >
Mathematicaチュートリアル関数 »|チュートリアル »

素数を法とする多項式

素数p を法とする整数のなす有限体をZpとするとき，Mathematica はZpの要素を係数とする多項式も扱うことができる．
PolynomialMod[poly,p]p を法とし多項式の係数を簡約する
Expand[poly,Modulus->p]p を法とし poly を展開する
Factor[poly,Modulus->p]p を法とし poly を因数分解する
PolynomialGCD[poly1,poly2,Modulus->p]
p を法とする polyi の最大公約式GCDを探す
GroebnerBasis[polys,vars,Modulus->p]
p を法とするグレブナー基底を探す

有限体上で多項式を操作するための関数

普通の多項式を例に使う．
In[1]:=
Click for copyable input
Out[1]=
2を法とし係数を簡約する．
In[2]:=
Click for copyable input
Out[2]=
得られた多項式を係数が整数の範囲で因数分解する．
In[3]:=
Click for copyable input
Out[3]=
2を法として計算させると，さらに因数分解を行うことが可能になる．
In[4]:=
Click for copyable input
Out[4]=
© 2013 Wolfram Research, Inc. English
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team