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