BlockSizePartition

The partition of n a set partition's block sizes form, largest first.

FindStatMp00079via SetPartition↗

BlockSizePartition(SetPartition)The partition of n a set partition's block sizes form, largest first.

Typed signatures

Type	Package	Applies
(set_partition) -> integer_partition	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a SetPartition and returns a IntegerPartition — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• Lossy: which elements share a block is forgotten, so it is not a constructor overload.

Examples

Basic #

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

live ↗

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

About

Examples	1
Crosswalk	FindStat