×

通过改变次序有效计算零维Gröbner基。 (英语) Zbl 0805.13007号

Gröbner基是多项式环中显式计算的有用工具。给定一个域(K\),多项式环(K[X]=K[X_1,dots,X_n]\),理想(I\子集K[X])和单项式半群上的总阶(称为项阶),使得1是最小元素,Buchberger算法构造了\(I\)的Gröbner基。一般来说,不同的术语顺序产生不同的Gröbner基。一旦Gröbner基已知,许多计算问题(如理想隶属度问题)就可以解决。众所周知,术语顺序的选择对Buchberger算法的性能影响很大。本文所追求的思想是,首先确定一个关于低复杂度项序的Gröbner基,然后将这个Gróbner基础转换为关于另一个项序的Greöb ner基。对于零维理想,提出了一种实现这种效果的算法。讨论了复杂性和示例。

MSC公司:

13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 内政部