Weight enumerator for second-order Reed-Muller codes | Synapse