enumeratio

Appearance

CycleType ​

The multiset of cycle lengths, as a partition.

WikipediaCyclic permutationMathWorldPermutationCycleCyclicPermutationWikidataQ212130nLabcyclic permutationFindStatMp00108via Permutation

CycleType(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.
  • The first map here that CROSSES carriers — permutation in, integer partition out — which is the case the types exist for.

Examples