"Source: Text/Code/CodeFld.text";
"Line: 3874";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeFld.text, line: 3874
// Example: H165E37 ()
print "Example: H165E37";
ei := GetEchoInput();
SetEchoInput(true);
I1 := RepetitionCode(GF(2),8);
I2 := I1 + LinearCode( KMatrixSpace(GF(2),3,8) !
                [0,1,0,0,0,1,1,1,0,0,1,0,1,0,1,1,0,0,0,1,1,1,0,1]
                     );
I3 := Dual(I1);
Inner := [I1, I2, I3];
Inner:Minimal;

O1 := Dual(RepetitionCode(GF(2),9));
O2 := BCHCode(GF(8),9,3,4);
O3 := BCHCode(GF(8),9,6,7);
Outer := [O1, O2, O3];
Outer:Minimal;

C := ZinovievCode(Inner, Outer);
C:Minimal;
SetEchoInput(ei);
