 |
GroebnerBasis
GroebnerBasis[{poly1, poly2, ...}, {x1, x2, ...}]
给出一列多项式，这些多项式构成多项式 
的 Gröbner 基.
GroebnerBasis[{poly1, poly2, ...}, {x1, x2, ...}, {y1, y2, ...}]
找到一个 Gröbner 基，且这个基中不包含 
.
更多信息
- Gröbner 基中的多项式与原来的多项式具有相同的解集.
- 在一元多项式中，GroebnerBasis 化简为 PolynomialGCD.
- 对多元的线性函数，GroebnerBasis 等价于高斯消去法.
- 一般说来，Gröbner 基依赖于分配给单项的顺序. 这个顺序受到
的顺序的影响. - 可以使用下列选项：
-
MonomialOrder Lexicographic 对单项排序所使用的准则 CoefficientDomain Automatic 被假定为系数的对象的类型 Method Automatic 使用的方式 Modulus 0 数值系数的模数 - 可能的
设置是 
、
、 
或一个显式的加权矩阵. 
所使用的单项式通过 
所在的指数构成的列表来指定. 
的顺序和 
设置能对 GroebnerBasis 的效率产生实质性影响.
的可能设置是 
、Rationals、
以及 
.- Method 选项的可能设置包括
和 
.
版本 2 的新功能 | 版本 6 修改功能
