pub fn class_multiplication_coefficients(
degree: usize,
gens: &[Perm],
cap: usize,
) -> Option<Vec<Vec<Vec<u128>>>>Expand description
The class-algebra structure constants a[i][j][k] = #{ x ∈ Cᵢ : x⁻¹·z ∈ Cⱼ } for z a fixed
representative of class Cₖ (independent of the choice of z). These are the multiplication
coefficients of the centre of the group algebra — Cᵢ·Cⱼ = Σₖ a[i][j][k]·Cₖ — and the foundation of
the Burnside–Dixon character-table algorithm. They satisfy Σₖ a[i][j][k]·|Cₖ| = |Cᵢ|·|Cⱼ|. None
when |G| > cap.