"Source: Text/Code/CodeZ4.text";
"Line: 2626";
"Date: Thu Sep 25 14:47:47 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Code/CodeZ4.text, line: 2626
// Example: H169E26 ()
print "Example: H169E26";
ei := GetEchoInput();
SetEchoInput(true);
C := HadamardCodeZ4(2,4);
PAutC := PermutationGroup(C);
PAutC eq PAutHadamardCodeZ4(2,4);
#PAutC eq PAutHadamardCodeZ4Order(2,4);
{p : p in Sym(8) | C^p eq C} eq Set(PAutC);
Cbin := GrayMapImage(C);
PAutCbin := PermutationGroupGrayMapImage(C);
{p : p in PAutCbin | Set(Cbin)^p eq Set(Cbin)} eq Set(PAutCbin);
SetEchoInput(ei);
