"Source: Text/Code/CodeFld.text";
"Line: 5006";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeFld.text, line: 5006
// Example: H165E44 ()
print "Example: H165E44";
ei := GetEchoInput();
SetEchoInput(true);
C := GolayCode(GF(2), false);
v := C ! [1,1,1,1,0,0,0,1,0,0,1,1,0,0,0,1,0,0,0,1,1,1,1];
w := v;
w[5] := 1 - w[5];
w[20] := 1 - w[20];
v;
w;
v - w;
b, d := SyndromeDecoding(C, w);
b;
assert $1;
d;
d eq v;
assert $1;
SyndromeDecoding(C, [w]);
SetEchoInput(ei);
