"Source: Text/Code/CodeRng.text";
"Line: 1085";
"Date: Tue Nov  5 09:08:43 2019";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeRng.text, line: 1085
// Example: H168E12 ()
print "Example: H168E12";
ei := GetEchoInput();
SetEchoInput(true);
R<w> := GR(16,2);
P<x> := PolynomialRing(R);
L := CyclotomicFactors(R, 7);
C := CyclicCode(7, L[2]);
C ! [1, 2*w, 0, w+3, 7*w, 12*w+3, w+3];
elt< C | 0, 3, 0, 2*w + 5, 6*w + 9, 4*w + 5, 14*w + 14 >;
SetEchoInput(ei);
