Let be the binary linear code
How many binary linear codes are there which are equivalent (under coordinate permutations) to ?
[THOUGHT]
The code consists of all vectors in where each pair of coordinates are equal.
Under a permutation of the coordinates, the image is determined by the partition of the 16 positions into orbits of .
For to be equivalent to , every orbit must have size 2, i.e. must be a perfect matching (a product of 8 disjoint transpositions).
Thus the number of distinct codes equivalent to equals the number of ways to partition 16 elements into 8 unordered pairs, which is .
We will compute this value with Python.
[/THOUGHT]
[PYTHON]
from sympy import factorial
n = 16
Number of perfect matchings (pairings) on n elements = (n-1)!! = (2n)!/(2^n * n!)
num_matchings = factorial(n) // (2**n * factorial(n//2)) print(num_matchings) [/PYTHON]
[THOUGHT] The number of binary linear codes equivalent to C under coordinate permutations is the number of ways to partition 16 coordinates into 8 unordered pairs, which equals (16)! / (2^8 * 8!) = 7918. This matches the Python computation. [/THOUGHT]