计算机代数中计算Grobner基的一种新的方法,即F4算法。