教育版 d -PIDs上的Groebner基算法