pub fn permutation_character_decomposition(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<(Vec<u128>, Vec<u128>, Vec<Vec<u128>>)>Expand description
The permutation-character decomposition of a formula’s variable-symmetry group — the bridge between
its table of marks and its character table. M[i][s] is the multiplicity of irreducible χ_s in the
permutation representation on the cosets G/H_i (Frobenius reciprocity). Returns
(subgroup_orders, irreducible_degrees, M). None when out of range.