"Source: Text/Code/CodeFld.text";
"Line: 1188";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeFld.text, line: 1188
// Example: H165E13 ()
print "Example: H165E13";
ei := GetEchoInput();
SetEchoInput(true);
C := HammingCode(GF(2), 3);
C;
L, f := CosetLeaders(C);
L;
I := InformationSpace(C);
I;         
i := I ! [1, 0, 1, 1];
w := i * GeneratorMatrix(C);
w;         
r := w;         
r[7] := 1;
r;                
s := Syndrome(r, C);
s;
l := f(s);
l;    
v := r - l;
v;                     
res := I ! Coordinates(C, v);
res;
SetEchoInput(ei);
