pub fn tensor_decomposition(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<Vec<Vec<u128>>>>Expand description
The tensor (fusion) decomposition of a formula’s variable-symmetry irreducibles — N[i][j][k], the
multiplicity of χ_k in χ_i ⊗ χ_j, the multiplication table of the representation ring R(G). None
when the character table is out of range.