论文部分内容阅读
Gr(o)bnerNew基优化算法是在标准表示理论的基础上,采用局部求解的方法来求Gr(o)bner基,首先对理想的生成元按首项的相关项进行分类,然后对每个相关项集合分别进行求解.若多项式可以用一个理想中的多项式与另一个余多项式来表示,则用余多项式把这个多项式替换.在求解过程中运用局部的约化和局部的降幂,来抵制中间项的膨胀和中间项幂的增长,以达到减少计算复杂度的目的.