ToPermutation from StandardTableauPair
The permutation an RSK pair comes from: inverse RSK.
Unbumps the cell holding n in Q, then n − 1, and so on, each time reading a letter off the first row of P.
Called as CombinatorialMap(x, "ToPermutation"). The head's page has its examples.
Live
Explore
Each element of StandardTableauPair at a size, and its image, applied in your browser; sizes past 6 are not offered.
Properties
Transport a statistic
Pick a statistic on Permutation. Its distribution over the images of StandardTableauPair at each size is computed, and compared with the 0 statistics on StandardTableauPair: those that share it are the ones the map sends it to, as far as the sizes computed show.