Gr(o)bner基(Gr(o)bner Bases)理论是计算机代数的一个基石，因为不仅可以知道Gr(o)bner基存在性，而且更为关键的是提出了计算Gr(o)bn......