Near-extremal formally self-dual even codes of lengths 24 and 32
The weight enumerator of a formally self-dual even code is obtained by the Gleason theorem. Recently, Kim and Pless gave some restrictions on the possible weight enumerators of near-extremal formally self-dual even codes of length divisible by eight. In this paper, the weight enumerators for which there is a near-extremal formally self-dual even code are completely determined for lengths 24 and 32, by constructing new near-extremal formally self-dual codes. We also give a classification of near- extremal double circulant codes of lengths 24 and 32.
formally self-dual even codes weight enumerators