Annotation of OpenXM_contrib/TiGERS_0.9/examples/pentG.in, Revision 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}