Return to gtiG.in CVS log

Up to [local] / OpenXM / src / Ti / examples

Annotation of OpenXM/src/Ti/examples/gtiG.in, Revision 1.1

1.1     ! maekawa     1: % starting GB:
        !             2: R: 4
        !             3: G: {? a^4-b*c*d, ? a^3*c^2-b^2*d^2, ? a^3*d^2-b^3*c^2, ? a^2*b^3-c^2*d^2, ? a^2*c*d-b^4, ? a*b^2*c-d^3, ? a*b*d-c^3, ? a*c^4-b^5, ? a*d^4-b^6, ? b^7-c^3*d^3, ? b^6*d-c^7, ? b^5*d^5-c^11, ? b^4*d^9-c^15, ? b^3*d^13-c^19, ? b^2*d^17-c^23, ? b*c^4-d^4, ? b*d^21-c^27, ? c^31-d^25}