"Source: Text/Commut/Ideal.text";
"Line: 1168";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Commut/Ideal.text, line: 1168
// Example: H116E8 ()
print "Example: H116E8";
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);
