represents a permutation with disjoint cycles cyci.


  • The cycles cyci of a permutation are given as lists of positive integers, representing the points of the domain in which the permutation acts.
  • A cycle {p1,p2,,pn} represents the mapping of the pi to pi+1. The last point pn is mapped to p1.
  • Points not included in any cycle are assumed to be mapped onto themselves.
  • Cycles must be disjoint, that is, they must have no common points.
  • Cycles objects are automatically canonicalized by dropping empty and singleton cycles, rotating each cycle so that the smallest point appears first, and ordering cycles by the first point.
  • Cycles[{}] represents the identity permutation.
Introduced in 2010