![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / TiGERS_0.9 / examples / Attic / gtiG.in (download)
Revision 1.1.1.1 (vendor branch), Sat Nov 27 10:58:44 1999 UTC (24 years, 9 months ago) by maekawa
Import TiGERS 0.9 |
% starting GB: R: 4 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}