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

Return to pentG.in CVS log

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

File: [local] / OpenXM_contrib / TiGERS_0.9 / examples / Attic / pentG.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

% pentG.in 
% first example from paper given by grobner basis.
% first line R: 5 specifies ring with 5 variables a,b,c,d,e.
R: 5
G: {? a^2*c-b^2*e, ? a^2*d-b*e^2, ? b*d-c*e}