pub fn composition_factor_orders(
degree: usize,
gens: &[Perm],
cap: usize,
) -> Option<Vec<u128>>Expand description
The composition factors of the group as the sorted multiset of their orders — the Jordan–Hölder
decomposition into simple groups (the “prime factorisation” of the group). Their product is |G|; for a
solvable group every factor is a prime (cyclic Cₚ), and a non-abelian simple factor (e.g. A₅, order
60) marks unsolvability. None when the group is out of range.