"Source: Text/Code/QECC.text";
"Line: 609";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/QECC.text, line: 609
// Example: H171E11 ()
print "Example: H171E11";
ei := GetEchoInput();
SetEchoInput(true);
F<w> := GF(4);
P<x> := PolynomialRing(F);
f := x^16 + x^15 + x^13 + w*x^12 + x^11 + w*x^10 + x^9 + x^8 + w^2*x^7 +
     x^6 + x^5 + w*x^4 + w^2*x^3 + w*x^2 + w^2*x + w^2;
Q := QuantumCyclicCode(23, f);
MinimumWeight(Q);
assert $1 eq 4;
Q:Minimal;
f := x^12 + x^11 + x^10 + x^8 + w*x^6 + x^4 + x^2 + x + 1;
Q := QuantumCyclicCode(25, f);
MinimumWeight(Q);
assert $1 eq 8;
Q:Minimal;
SetEchoInput(ei);
