×

零维理想的Gröbner基计算复杂性的单指数界。 (英语) Zbl 0734.13017号

代数几何中的有效方法,Proc。交响乐团。,Castiglionselo/意大利1990年,计划。数学。94, 227-234 (1991).
[关于整个系列,请参见Zbl 0721.00009.]
设R是有理数域上n个变量的多项式环。设F是R的有限子集,使得由F生成的理想I是零维的。设d是deg(f),\(f\ in f\)的最大值。作者提出了一种算法来计算时间多项式中的约化Gröbner基(在任何允许的次序下)。该算法首先为I的初等分解中的理想构造Gröbner基,然后将它们组合在一起以获得I的Gróbner基础。

MSC公司:

13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
第68季度25 算法和问题复杂性分析

引文:

Zbl 0721.00009