"Source: Text/Code/CodeZ4.text";
"Line: 1870";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeZ4.text, line: 1870
// Example: H169E20 ()
print "Example: H169E20";
ei := GetEchoInput();
SetEchoInput(true);
C := HadamardCodeZ4(3, 5);
C;
d := MinimumLeeDistance(C);
t := Floor((d-1)/2);
t;
c := C ! [1,1,1,1,2,2,2,2,3,3,3,3,0,0,0,0];
c in C;
u := c;
u[5] := u[5] + 2;
u[12] := u[12] + 1;
u[13] := u[13] + 3;
u[16] := u[16] + 2;
c;
u;
grayMap := GrayMap(UniverseCode(Integers(4), Length(C)));
grayMap(c-u);
isDecoded, uDecoded := CosetDecode(C, u : MinWeightCode := d);
isDecoded;
uDecoded eq c;
SetEchoInput(ei);
