"Source: Text/Commut/GB.text";
"Line: 2886";
"Date: Mon Jun 27 11:39:56 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Commut/GB.text, line: 2886
// Example: H112E14 ()
print "Example: H112E14";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(2);
P<a,b,c,d> := PolynomialRing(K, 4);
L := [
    a + b + c + d,
    a*b + a*d + b*c + c*d,
    a*c + b*d,
    a*b*c*d
];
// Form potential Hilbert series weighted numerator
T<t> := PolynomialRing(IntegerRing());
N := &*[1 - t^Degree(f): f in L];
N;
time l, B := HilbertGroebnerBasis(L, N);
l;
assert $1;
// Examine Groebner basis B of L:
B;
SetEchoInput(ei);
