RemoveFirstPart

The partition without its largest part: its first row removed.

FindStatMp00202via IntegerPartition↗

RemoveFirstPart(IntegerPartition)The partition without its largest part: its first row removed.

Typed signatures

Type	Package	Applies
(integer_partition) -> integer_partition	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a IntegerPartition and returns a IntegerPartition — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00202. Lossy: the largest part is forgotten.

Examples

Basic #

the partition $4 + 2 + 1$

live ↗

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

About

Examples	1
Crosswalk	FindStat