pub fn galois_class_orbits(
degree: usize,
gens: &[Perm],
cap: usize,
) -> Option<Vec<Vec<usize>>>Expand description
The Galois orbits on conjugacy classes. The Galois group Gal(ℚ(ζ_e)/ℚ) ≅ (ℤ/e)* (e = the group
exponent) acts on classes by C ↦ C^t (the class of g^t), for every t coprime to e — this is the
action dual to the Galois action σ_t(χ)(g) = χ(g^t) on irreducible characters. Two classes share an
orbit iff they are algebraically conjugate (g ~ g^t for some coprime t). None when |G| > cap.