"Source: Text/Code/CodeZ4.text";
"Line: 994";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeZ4.text, line: 994
// Example: H169E10 ()
print "Example: H169E10";
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);
