算法628

算法628。构造多项式理想规范基的算法。本文主要介绍构造(规范)Gr算法的FORTRAN实现ö多项式理想的bner基(GB)。粗略地说,问题是:“给定K[x1,···,xn]中多项式的有限集F,求K[x1,···,xn]中多项式的有限集G,使得理想(F)=理想(G),G是Grö一个GB的特征是某种约化关系F拥有Church Rosser财产[见B。《多项式归约为正则形式的理论基础》,SIGSAM Bull。第10期,第3期,第19-29页(1976年)。给出了用该算法构造具体GB的几个例子,以说明这些基对构造多项式理想理论和计算机代数的有用性(许多多项式理想的判定和计算问题对于由GB给出的理想比对于任意基更容易解决)。