"Source: Text/Code/CodeRng.text";
"Line: 303";
"Date: Tue Nov  5 09:08:43 2019";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/CodeRng.text, line: 303
// Example: H164E5 ()
print "Example: H164E5";
ei := GetEchoInput();
SetEchoInput(true);
Z4 := IntegerRing(4);
P<x> := PolynomialRing(Z4);
n := 7; L := CyclotomicFactors(Z4, n); L;
CyclicCode(n, L[1]);
CyclicCode(n, L[2]);
CyclicCode(n, L[3]);
n := 23; L := CyclotomicFactors(Z4, n); L;
CyclicCode(n, L[2]);
SetEchoInput(ei);
