source: CGBLisp/examples/shosh.gb@ 1

R:List(DMP([u12,u13,u14,u23,u24,u34,v12,v13,v14,v23,v24,v34,e1,e2,e3,e4,h1,h2,h3,h4,x1,x2,x3,x4,y1,y2,y3,y4],INT))

R:=[1-u12*(x1-x2)-v12*(y1-y2),1-u13*(x1-x3)-v13*(y1-y3),1-u14*(x1-x4)-v14*(y1-y4),1-u23*(x2-x3)-v23*(y2-y3),1-u24*(x2-x4)-v24*(y2-y4),1-u34*(x3-x4)-v34*(y3-y4),x1**2+e1+e2*x1+e3*y1+e4*x1*y1,y1**2+h1+h2*x1+h3*y1+h4*x1*y1,x2**2+e1+e2*x2+e3*y2+e4*x2*y2,y2**2+h1+h2*x2+h3*y2+h4*x2*y2,x3**2+e1+e2*x3+e3*y3+e4*x3*y3,y3**2+h1+h2*x3+h3*y3+h4*x3*y3,x4**2+e1+e2*x4+e3*y4+e4*x4*y4,y4**2+h1+h2*x4+h3*y4+h4*x4*y4] 

tgroebner(R)