GroebnerBasis

GroebnerBasis[{poly1,poly2,},{x1,x2,}]
给出一列多项式,这些多项式构成多项式 的 Gröbner 基.

GroebnerBasis[{poly1,poly2,},{x1,x2,},{y1,y2,}]
找到一个 Gröbner 基,且这个基中不包含 .

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

  • Gröbner 基中的多项式与原来的多项式具有相同的解集.
  • 在一元多项式中,GroebnerBasis 化简为 PolynomialGCD.
  • 对多元的线性函数,GroebnerBasis 等价于高斯消去法.
  • 一般说来,Gröbner 基依赖于分配给单项的顺序. 这个顺序受到 的顺序的影响.
  • 可以使用下列选项:
  • MonomialOrderLexicographic对单项排序所使用的准则
    CoefficientDomainAutomatic被假定为系数的对象的类型
    MethodAutomatic使用的方式
    Modulus0数值系数的模数
  • 可能的 设置是 或一个显式的加权矩阵. 所使用的单项式通过 所在的指数构成的列表来指定.
  • 的顺序和 设置能对 GroebnerBasis 的效率产生实质性影响.
  • 的可能设置是 Rationals 以及 .
  • Method 选项的可能设置包括 .
1991年引入
(2.0)
| 2007年更新
(6.0)