SortedPartition

The partition a composition's parts form, sorted largest first.

FindStatMp00040via IntegerComposition↗

SortedPartition(IntegerComposition)The partition a composition's parts form, sorted largest first.

Typed signatures

Type	Package	Applies
(composition) -> integer_partition	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a IntegerComposition and returns a IntegerPartition — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• Lossy: the order of the parts is forgotten, so it is not a constructor overload.

Examples

Basic #

the composition $2 + 1 + 3$

live ↗

In$\mathrm{SortedPartition}({\operatorname{IntegerComposition}}([2, 1, 3]))$Out${\operatorname{IntegerPartition}}([3, 2, 1])$

About

Examples	1
Crosswalk	FindStat