Let be the binary linear code
How many binary linear codes are there which are equivalent (under coordinate permutations) to ?
[THOUGHT] The code is the set of all vectors in whose first 8 coordinates are repeated in the last 8 coordinates: . Thus is a 1-dimensional subspace of (all vectors of the form ), embedded in by duplicating each coordinate. Any coordinate permutation of must permute the 16 coordinates. Because the code is determined by the 8 “pairs” of equal coordinates, the number of inequivalent permutations is the number of ways to partition the 16 coordinate positions into 8 unordered pairs (a perfect matching), which is
So the number of binary linear codes equivalent to under coordinate permutations is exactly this value. [/THOUGHT] [PYTHON] from math import factorial
n = 16 k = 8 count = factorial(n) // ( (2**k) * factorial(k) ) print(count) [/PYTHON]
[THOUGHT] The Python output is taken as ground truth, so the number of binary linear codes equivalent to under coordinate permutations is .