Binary linear code

Even binary code

The even binary code of length is given by #m/def/code

which is a quadratic space with the form

which has the polar form and the radical .

Properties

Invoking the Iverson bracket,

1. .
2. If is even, then every self-dual code contains (this follows from the fact that it is the radical)

#state/develop | #lang/en | #SemBr