ExtendedTernaryGolayCode( )
ExtendedTernaryGolayCode
returns an extended ternary Golay code. This
is a [12,6,6] code. Puncturing this code results in a perfect ternary
Golay code (see TernaryGolayCode). The code is self-dual (see
IsSelfDualCode).
gap> C := ExtendedTernaryGolayCode(); a linear [12,6,6]3 extended ternary Golay code over GF(3) gap> P := PuncturedCode(C); a linear [11,6,5]2 punctured code gap> P = TernaryGolayCode(); true
GAP 3.4.4