Let F2 denote the field with two elements.
A binary linear code is a subspace of the vector space
F2n, for some n, which is called the length of
the code. Two binary linear codes are isomorphic if they have the same length
and some permutation of coordinates moves one to the other.