"Source: Text/Code/CodeRng.text";
"Line: 1239";
"Date: Tue Nov  5 09:08:43 2019";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeRng.text, line: 1239
// Example: H168E13 ()
print "Example: H168E13";
ei := GetEchoInput();
SetEchoInput(true);
R<w> := GR(4, 4);
P<x> := PolynomialRing(R);
g := x + 2*w^3 + 3*w^2 + w + 2;
C := CyclicCode(3, g);
C;
u := C.1;
v := C.2;
u;
v;
u + v;
2*u;
4*u;
Weight(u);
assert $1 eq 2;
Support(u);
SetEchoInput(ei);
