当理想的单项式序为分次逆字典序时是最容易计算出其Gr(o)bner基.改进的算法利用这两个单项式序的优点,通过在计算过程中改变单项式序,使得S-多项式的计算次数大幅减少,最终正确有效地计算出F[x,y]上理想的Gr(o)bner基.最后