IncreasingRotation

Every element raised by one, cyclically: the largest becomes 1.

FindStatMp00091via SetPartition↗

IncreasingRotation(SetPartition)Every element raised by one, cyclically: the largest becomes 1.

Typed signatures

Type	Package	Applies
(set_partition) -> set_partition	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a SetPartition and returns a SetPartition — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00091 ("rotate increasing"). The inverse is DecreasingRotation, and its n-th power is the identity.

Examples

Basic #

the set partition $\{1,3\} \mid \{2\} \mid \{4\}$

live ↗

In$\mathrm{IncreasingRotation}({\operatorname{SetPartition}}([[1, 3], [2], [4]]))$Out${\operatorname{SetPartition}}([[1], [2, 4], [3]])$

About

Examples	1
Crosswalk	FindStat