Skip to content

RemoveFirstPart from IntegerPartition ​

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

IntegerPartition → IntegerPartition

FindStat's Mp00202. Lossy: the largest part is forgotten.

Called as CombinatorialMap(x, "RemoveFirstPart"). The head's page has its examples.

Live

Explore

Each element of IntegerPartition at a size, and its image, applied in your browser; sizes past 7 are not offered.

Properties

Transport a statistic

Pick a statistic on IntegerPartition. Its distribution over the images of IntegerPartition at each size is computed, and compared with the 165 statistics on IntegerPartition: those that share it are the ones the map sends it to, as far as the sizes computed show.

FindStat Mp00202

first row removal

Matched by value: our map agrees with FindStat's image on each of the 29 rows of size at most 6 we can read (0 unread; its table has 1200 rows).

Surjectionas FindStat records them, checked by FindStat's contributors.

Removes the first entry of an integer partition
ObjectImage
[1][]
[2][]
[3][]
[4][]

Data from FindStat, the combinatorial statistic finder; the page at findstat.org/Mp00202 has the rest.