"Source: Text/Code/CodeZ4.text";
"Line: 2626";
"Date: Thu Jun 16 15:04:46 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Code/CodeZ4.text, line: 2626
// Example: H165E26 ()
print "Example: H165E26";
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);
