"Source: Text/Code/CodeZ4.text";
"Line: 1304";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeZ4.text, line: 1304
// Example: H169E15 ()
print "Example: H169E15";
ei := GetEchoInput();
SetEchoInput(true);
C := LinearCode<Integers(4), 4 | [[2,0,0,2],[0,1,1,3]]>;
R, V, f, fbin := InformationSpace(C);
Rs, Vs := SyndromeSpace(C);
#R * #Rs eq 4^Length(C);
#V * #Vs eq 4^Length(C);
i := R![2,3];
c := f(i);
c;
u := c;
u[2] := u[2] + 3;
u;
s := Syndrome(u, C);
s in Rs;
H := Transpose(MinRowsGeneratorMatrix(Dual(C)));
s eq u*H;
L, mapCosetLeaders := CosetLeaders(C);
ev := mapCosetLeaders(s);
ev;
ev in L;
u - ev eq c;
SetEchoInput(ei);
