"Source: Text/Commut/Ideal.text";
"Line: 1168";
"Date: Thu May 25 16:54:39 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/Ideal.text, line: 1168
// Example: H113E8 ()
print "Example: H113E8";
ei := GetEchoInput();
SetEchoInput(true);
P<x, y, z> := PolynomialRing(GF(2), 3, "grevlex");
S := [(x + y + z)^2, (x^2 + y^2 + z^2)^3 + x + y + z + 1];
I := ideal<P | S>;
Groebner(I);
I;
Q<a, b> := PolynomialRing(GF(2), 2);
U := RelationIdeal(S, Q);
U;
S[1]^6 + S[1] + S[2]^2;    
assert $1 eq 1;
SetEchoInput(ei);
