pub fn perm_group_closure(generators: &[Perm], num_vars: usize) -> Vec<Perm>Expand description
The full symmetry group: every distinct Perm reachable by composing the generators (closure under
composition). Small-group only — the orbit-stabilizer accounting below needs the whole group, not a
generating set. Includes the identity.