改进格鲁内基法

针对布切伯格等算法中存在的不足之处，采用取最高项进行约简，对多项式组彻底约简和根据秩的大小选取基组等措施对这些算法进行改进，从而形成本文的改进格鲁布纳基法。与现有算法相比，本文提出的方法以较少的计算工作量得到与原多项式组（PS）等价的格鲁布纳基（GS）或便于求解的三角型组（TS）。