Skip to main content

real_class_count

Function real_class_count 

Source
pub fn real_class_count(
    degree: usize,
    gens: &[Perm],
    cap: usize,
) -> Option<usize>
Expand description

The number of real conjugacy classes — those closed under inversion (C = C⁻¹). By Burnside’s theorem this equals the number of real-valued irreducible characters. None when |G| > cap.