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 选项的可能设置包括 .
版本 2 的新功能 | 版本 6 修改功能
New to Mathematica? Find your learning path »
Have a question? Ask support »