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