MATHEMATICA 組込みシンボル

PolynomialQuotient

x の多項式として p を q で割った商を，剰余は除去して与える．

を

で割り，剰余を除いた商：

を

で割り，剰余を除いた商：

Out[1]=

Out[2]=

結果の多項式は入力係数の有理式である係数を持つ：

PolynomialQuotientは有理関数にも使うことができる：

素数の法を使う：

多項式 f について

である．ただし，r はPolynomialRemainderで与えられる：

Expandを使って恒等式を証明する：

PolynomialQuotientRemainderを使って商と剰余の両方を得る：

PolynomialReduceはPolynomialQuotientを多変数多項式について一般化する：

PolynomialGCDを使って公約数を求める：

PolynomialQuotientを使って，結果の因数分解を見る：

有理関数については，公約数は自動的には約分されない：

Cancelは，実質的にPolynomialQuotientを使って公約数を約分する：

Cyclotomic多項式は商として定義される：

結果は何が変数と仮定されているかによる：

PolynomialQuotientの結果はゼロを認識することに依存する：

これは隠れた0である：

結果は，隠れたゼロがあたかもゼロではないかのようになっている：