ExtendedBinaryGolayCode( )
ExtendedBinaryGolayCode returns an extended binary Golay code. This is
a [24,12,8] code. Puncturing in the last position results in a perfect
binary Golay code (see BinaryGolayCode). The code is self-dual (see
IsSelfDualCode).
gap> C := ExtendedBinaryGolayCode();
a linear [24,12,8]4 extended binary Golay code over GF(2)
gap> P := PuncturedCode(C);
a linear [23,12,7]3 punctured code
gap> P = BinaryGolayCode();
true
GAP 3.4.4