SetComposition from Surjection
The set composition a surjection labels: block j holds the positions labelled j.
Called as CombinatorialMap(x, "SetComposition"). The head's page has its examples.
Live
Explore
Each element of Surjection at a size, and its image, applied in your browser; sizes past 6 are not offered.
Properties
Transport a statistic
Pick a statistic on SetComposition. Its distribution over the images of Surjection at each size is computed, and compared with the 0 statistics on Surjection: those that share it are the ones the map sends it to, as far as the sizes computed show.
No statistic is declared on SetComposition.