Annotation of OpenXM_contrib/TiGERS_0.9/examples/pentG.in, Revision 1.1.1.1
1.1 maekawa 1: % pentG.in
2: % first example from paper given by grobner basis.
3: % first line R: 5 specifies ring with 5 variables a,b,c,d,e.
4: R: 5
5: G: {? a^2*c-b^2*e, ? a^2*d-b*e^2, ? b*d-c*e}