ConjugateAfterCycleType

The conjugate partition of the cycle type.

ConjugateAfterCycleType(Permutation)

Domain: Combinatorial maps

Details

• Takes a `Permutation` and returns a `IntegerPartition` — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• Entry j is the count of cycles of length at least j — non-increasing in j by construction, so it comes out sorted without needing one.

Examples