Classification of formally self-dual even codes of lengths up to 16 (Q5943690)

A formally self-dual code is a linear code that has the same weight enumerator as its dual code. If a code has even weights only, it is said to be even. In the current paper, a classification of binary formally self-dual even codes of length up to 16 is considered. The classification is achieved by exhaustively constructing generator matrices whose weight enumerators are compared with those given by Gleason's theorem; equivalent codes are finally detected using Magma, which also computes the orders of the automorphism groups. The number of inequivalent codes of lengths 10, 12, 14, and 16, is 14, 29, 99, and 914, respectively. The results show that the shortest length for which there is a binary formally self-dual even code with a trivial automorphism group is 16.