"Source: Text/Code/CodeZ4.text";
"Line: 2585";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeZ4.text, line: 2585
// Example: H169E25 ()
print "Example: H169E25";
ei := GetEchoInput();
SetEchoInput(true);
C := HadamardCodeZ4(2,4);
PAut := PAutHadamardCodeZ4(2,4);
PAut;
{p : p in Sym(8) | C^p eq C} eq Set(PAut);
#PAut eq PAutHadamardCodeZ4Order(2,4);
d := 2; m := 4; g := m+1-2*d;
PAutHadamardCodeZ4Order(d, m) eq
 #GL(d-1,Integers(4))*#GL(g,Integers(2))*2^g*4^((g+1)*(d-1));
d := 4; m := 8; g := m+1-2*d;
PAutHadamardCodeZ4Order(d, m) eq
  #GL(d-1,Integers(4))*#GL(g,Integers(2))*2^g*4^((g+1)*(d-1));
PAutHadamardCodeZ4(2,4) eq PAutExtendedPerfectCodeZ4(2,4);
SetEchoInput(ei);
