COEFFRING FINITE
CHAR 32749
NUMVAR 5
VARNAMES a b c d e
ORDER GREVLEX
RING POLYNOMIALS 
NUMPOLYS 5
FORMAT SYMBOLIC
 a + b + c + d + e;
 a*b + b*c + c*d + d*e + e*a;
 a*b*c + b*c*d + c*d*e + d*e*a + e*a*b;
 a*b*c*d + b*c*d*e + c*d*e*a + d*e*a*b + e*a*b*c;
 a*b*c*d*e - 1;