 Doubly even code

A binary linear code is doubly even when the Hamming weight of every codeword is divisible by four.

// Target: algebra.bigb