"Source: Text/Code/CodeFld.text";
"Line: 5079";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeFld.text, line: 5079
// Example: H165E45 ()
print "Example: H165E45";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(2^8);
C := ReedSolomonCode(K, 12);
C:Minimal;
c := Random(C);
V := VectorSpace(C);
e := V![ 0 :i in [1..255]];
for i := 1 to 5 do
j := Random(1, 255);
k := Random(K);
e[j] := k;
end for;
d := c + e;
_, cc := EuclideanDecoding(C, d);
c eq cc;
e := V![ 0 :i in [1..255]];
for i := 1 to 6 do
j := Random(1, 255);
k := Random(K);
e[j] := k;
end for;
d := c + e;
_, cc := EuclideanDecoding(C, d);
c eq cc;
SetEchoInput(ei);
