pub fn isotypic_multiplicities(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<u128>>Expand description
The isotypic decomposition of a formula’s variable-permutation representation — the multiplicity of
each irreducible in π = Σ_s m_s χ_s. The representation-theoretic spectrum of the symmetry, tying the
character table back to the orbit/orbital structure of the action. None when out of range.