pub fn frobenius_schur_indicators(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<i8>>Expand description
The Frobenius–Schur indicators of a formula’s variable-symmetry group — +1/0/−1 per
irreducible (real/complex/quaternionic), the finest representation-theoretic refinement of the symmetry
(it separates groups even when the character table cannot). None when out of range.