PolynomialReduce

PolynomialReduce[poly,{poly1,poly2,},{x1,x2,}]
产生一个形式为 的列表,表示 poly 针对 的一个约化,其中 b 为最小形式且 恰好等于 poly.

更多信息和选项更多信息和选项

  • 多项式 b 有这样的性质:它的任何一项都不会被任何一个 的首项整除.
  • 如果 形成一个 Gröbner 基,则这个性质唯一决定了从 PolynomialReduce 获得的余式.
  • 关于 GroebnerBasis,可以给出下面的选项:
  • MonomialOrderLexicographic用于单项式排序的准则
    CoefficientDomainRationals用作系数的对象类型
    Modulus0数值系数的模
1996年引入
(3.0)