Rsk from Permutation
The RSK correspondence: the insertion and recording tableaux, as a pair.
Both tableaux share a shape (RskShape reads it off either), and each carries its own rows, so the pair alone determines them. A standard_tableau_pair is a tuple of two carriers — the first composite carrier anything here constructs.
Called as CombinatorialMap(x, "Rsk"). The head's page has its examples.
Live
Explore
Each element of Permutation at a size, and its image, applied in your browser; sizes past 7 are not offered.
Properties
Transport a statistic
Pick a statistic on StandardTableauPair. Its distribution over the images of Permutation at each size is computed, and compared with the 323 statistics on Permutation: those that share it are the ones the map sends it to, as far as the sizes computed show.
No statistic is declared on StandardTableauPair.