算法628

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