DecreasingRotation

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

FindStatMp00176via SetPartition↗

DecreasingRotation(SetPartition)Every element lowered by one, cyclically: 1 becomes the largest.

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 Mp00176 ("rotate decreasing"). The inverse is IncreasingRotation.

Examples

Basic #

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

live ↗

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

About

Examples	1
Crosswalk	FindStat