算法628

算法628。构造多项式理想正则基的一种算法。本文主要是关于构造多项式理想(正则)Gröbner基(GB)算法的FORTRAN实现。粗略地说,问题是:“给定K[x1,···,xn]中多项式的有限集F,在K[x1,···,xn]中找到多项式的有限集G,使得理想(F)=理想(G),G是Gröbner基。”agb的特征是某个约化关系→F具有Church-Rosser性质[见B.Buchberger,将多项式化简为标准形的理论基础,西格萨姆·布尔。第10期,第3期,第19-29页(1976年)。给出了用该算法构造具体GB的几个例子,以说明这些基对构造多项式理想理论和计算机代数的有用性(许多多项式理想的判定和计算问题对于由GB给出的理想比对于任意基更容易解决)。