我正在尝试使用 Groebner Basis 证明一些定理（如 Cox、Little 和 O'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);