ToPermutation

The permutation an RSK pair comes from: inverse RSK.

ToPermutation(StandardTableauPair)The permutation an RSK pair of standard tableaux comes from: the inverse of Rsk.

Typed signatures

Type	Package	Applies
(standard_tableau_pair) -> permutation	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a StandardTableauPair and returns a Permutation — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• Unbumps the cell holding n in Q, then n − 1, and so on, each time reading a letter off the first row of P.

Examples

Basic #

the pair of tableaux $13/2$ and $12/3$

live ↗

In$\mathrm{ToPermutation}(\operatorname{StandardTableauPair}(({\operatorname{StandardTableau}}([[1, 3], [2]]),{\operatorname{StandardTableau}}([[1, 2], [3]]))))$Out${\operatorname{Permutation}}([2, 3, 1])$

About

Examples	1