MATHEMATICA 組込みシンボル

PolynomialMod

m を法として多項式 poly を与える．

すべての

を法として簡約する．

m が多項式の場合，PolynomialModは，最小の次数と主となる係数を持った結果を与えるために，m の倍数多項式の差を取ることによって，poly を簡約する．

2を法として多項式を簡約する：

他の多項式を法として多項式を簡約する：

2を法として多項式を簡約する：

Out[1]=

他の多項式を法として多項式を簡約する：

Out[1]=

整数を法として多項式を簡約する：

多項式を法として多項式を簡約する：

多項式と整数を法として多項式を簡約する：

2つの多項式と1つの整数を法として多項式を簡約する：

デフォルトの

Rationalsでは，整数係数が反転されることがある：

Integersとすると，PolynomialModは整数係数を反転しない：

3を法とした整数上で多項式を法として多項式を簡約する：

整数を法として多項式のすべての係数を簡約する：

単変量有理多項式の場合，PolynomialRemainderはPolynomialModに等しい：

PolynomialRemainderは，すべての多項式が指定の変数中で単変量であると判断する：

多変数多項式の場合PolynomialModはそれ自身の変数の次数を選ぶ：

ここでの主変数は

である：

PolynomialRemainderは，パラメータが可逆であると判断する：

PolynomialModは記号式を反転させない：