整数の場合と同様に，除算に関連する演算は多項式の計算の多くにおいて鍵となる．Wolfram言語には高度に最適化された単変数多項式の除算アルゴリズムだけでなく，多変数への最新の一般化も含まれている．

PolynomialQuotient  ▪  PolynomialRemainder  ▪  PolynomialQuotientRemainder

PolynomialGCD  ▪  PolynomialLCM  ▪  PolynomialExtendedGCD

SubresultantPolynomials  ▪  SubresultantPolynomialRemainders

Cancel — 多項式の比の共通因子を約す

PolynomialReduce — 1つの多項式を他の多項式の総和として表す

GroebnerBasis — 多項式のリストについて，約されたグレブナー(Groebner)基底を求める

PolynomialMod — 多項式の係数をm を法として還元する

Modulus — 有限体において法を指定する