Let be the binary linear code
How many binary linear codes are there which are equivalent (under coordinate permutations) to ?
[THOUGHT] To count codes equivalent to under coordinate permutations, compute the orbit size of under . By orbit–stabilizer, this is . Here consists of permutations that send each of the 8 coordinate-pairs to a (possibly different) coordinate-pair, with an optional swap inside each pair, so . I will compute exactly with Python. [/THOUGHT] [PYTHON] import math from fractions import Fraction
val = math.factorial(16) // (28 * math.factorial(8)) val2 = Fraction(math.factorial(16), 28 * math.factorial(8)) print(val) print(val2) print(val == val2) [/PYTHON][THOUGHT] To count codes equivalent to under coordinate permutations, compute the orbit size of under . By orbit–stabilizer, this is . Here consists of permutations that send each of the 8 coordinate-pairs to a (possibly different) coordinate-pair, with an optional swap inside each pair, so . I will compute exactly with Python. [/THOUGHT] [PYTHON] import math from fractions import Fraction
val = math.factorial(16) // (28 * math.factorial(8)) val2 = Fraction(math.factorial(16), 28 * math.factorial(8)) print(val) print(val2) print(val == val2) [/PYTHON]
[THOUGHT] Using orbit–stabilizer, the number of distinct codes equivalent to under coordinate permutations is , which Python evaluated as 2027025.