Return to pentG.in CVS log | Up to [local] / OpenXM / src / Ti / examples |
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}