OpenXM_contrib/TiGERS_0.9/examples/gtiG.in - view

Return to gtiG.in CVS log

Up to [local] / OpenXM_contrib / TiGERS_0.9 / examples

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, 6 months ago) by maekawa
Branch: TIGERS
CVS Tags: maekawa-ipv6, VERSION_0_9, RELEASE_20000124, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, RELEASE_1_1_3, RELEASE_1_1_2
Changes since 1.1: +0 -0 lines

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}