"Source: Text/Code/QECC.text";
"Line: 609";
"Date: Mon May 29 14:18:58 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/QECC.text, line: 609
// Example: H167E11 ()
print "Example: H167E11";
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);
