pub fn symmetric_group_generators(n: usize) -> Vec<Perm>Expand description
The generators of the full symmetric group Sₙ on n variables: the adjacent transpositions
(i, i+1). Sₙ is the symmetry of a fully-symmetric formula (every variable interchangeable), and
under it the monomial basis collapses to one orbit per degree — the sharpest instance of
monomial_orbits’ compression.