此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

PolynomialReduce

PolynomialReduce[poly, {poly1, poly2, ...}, {x1, x2, ...}]
产生一个表示根据 polyi 化简的 poly 的列表。列表有形式 {{a1, a2, ...}, b},其中 b 为最小形式且a1 poly1+a2 poly2+... +b 恰好等于 poly
  • 多项式 b 有这样的性质:没有一个项可以被 polyi的任何首项整除。
  • 如果 polyi 形成一个 Gröbner 基,则这个性质唯一决定了从 PolynomialReduce 获得的余项。
MonomialOrderLexicographic用作有序单项式的准则
CoefficientDomainRationals假设为系数的对象类型
Modulus0数值系数的模
3 的新功能