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}