pub fn hyperoctahedral_generators(n: usize) -> Vec<CubeSym>Expand description
Generators of the full hyperoctahedral group Bₙ = (ℤ/2)ⁿ ⋊ Sₙ — the signed permutations,
the automorphism group of the n-cube and the complete clause-level symmetry: every CubeSym
is one of its elements. The n−1 adjacent coordinate transpositions generate Sₙ; the single
coordinate-0 flip, conjugated by those, generates the (ℤ/2)ⁿ of phase flips; together they
generate all of Bₙ. The cube_group_closure of these has order exactly 2ⁿ·n!
(1, 2, 8, 48, 384, 3840 for n = 0..=5). The census quotients minimal covers by this group.