我试图用Groebner Basis证明一些定理（如Cox，Little和O＆＃39; Shea Link中所述）
上面提到的书作为练习使用给定的方法证明Pappus定理，但我真的不能使它工作。我尝试过使用Sage，Mathematica和Singular，但Grobner Basis计算并没有终止。
知道我该怎么办？以前有没有其他人做过这个活动？谢谢。
这是奇异代码：
ring R= (0,u1,u2,u3,u4,u5,u6,u7),(y,x1,x2,x3,x4,x5,x6,x7),dp;
poly h1=(u3 - u5)*(u4 - u6) - (u5 - u7)*(u6 - x1);
poly h2=-(u1 - u4)*u3 + (u1 - x3)*x2;
poly h3=-(u5 - x2)*(u6 - x3) + u5*u6;
poly h4=-(u2 - u4)*u3 + (u2 - x5)*x4;
poly h5=-(u7 - x4)*(x1 - x5) + u7*x1;
poly h6=-(u2 - u6)*u5 + (u2 - x7)*x6;
poly h7=-(u1 - x1)*u7 - (u7 - x6)*(x1 - x7);
poly g=(x2 - x4)*(x3 - x5) - (x4 - x6)*(x5 - x7);
poly g2=1-y*g;
ideal V=h1,h2,h3,h4,h5,h6,h7,g2;
std(V);