Grbner基推广及Z/(m)上多条序列综合算法

将Grbner基推广到环(Z/(P^e)[x_1,…,x_n])/I上,p是素数,e≥1,I是Z/(P^e)[x_1,…,x_n]的理想,应用推广的Grbner基理论,给出了环Z/(m)上多条序列的综合算法,算法复杂性是O(N^2)。