"Source: Text/Code/CodeZ4.text";
"Line: 994";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/CodeZ4.text, line: 994
// Example: H165E10 ()
print "Example: H165E10";
ei := GetEchoInput();
SetEchoInput(true);
C := HadamardCodeZ4(3, 11);
G, gamma, delta := MinRowsGeneratorMatrix(C);
Nrows(G) eq gamma + delta;
deltaH := Length(C) - gamma - delta;
H1 := MinRowsParityCheckMatrix(C);
Nrows(H1) eq gamma + deltaH;
H2 := MinRowsGeneratorMatrix(DualZ4(C));
Nrows(H2) eq gamma + deltaH;
time D := Dual(C);
time D4 := DualZ4(C);
D eq D4, D4 eq LinearCode(H1), D4 eq LinearCode(H2);
DualS, f := StandardFormDual(C);
DualS eq LinearCode(Matrix([f(H1[i]) : i in [1..Nrows(H1)]]));
SetEchoInput(ei);
