RskInsertion

The insertion tableau of the RSK correspondence.

WikipediaRobinson–Schensted correspondence↗MathWorldSchenstedCorrespondence↗WikidataQ2997917↗Encyclopedia of MathematicsRobinson-Schensted_correspondence↗FindStatMp00059via Permutation↗

RskInsertion(Permutation)The insertion tableau of the RSK correspondence.

Typed signatures

Type	Package	Applies
(permutation) -> standard_tableau	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a Permutation and returns a StandardTableau — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• Row insertion with bumping, as a fold over the word whose accumulator is the growing tableau, emitted as its rows. See flat.ts for the indexing rule that makes it evaluate at all.

Examples

Basic #

the one-line word $231$

live ↗

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

About

Examples	1
Crosswalk	WikipediaMathWorldWikidataEncyclopedia of MathematicsFindStat