pub fn burnside_ring_product(
num_vars: usize,
clauses: &[Vec<Lit>],
) -> Option<Vec<Vec<Vec<i128>>>>Expand description
The Burnside ring multiplication of a formula’s variable-symmetry group — N[a][b][l], the
decomposition of the product G-set (G/H_a)×(G/H_b) into transitive G-sets (the G-set analogue of the
character table’s fusion ring). None when the subgroup lattice is out of range.