notatio

RskRecording ​

The recording tableau of the RSK correspondence, as its rows.

WikipediaRobinson–Schensted correspondenceMathWorldSchenstedCorrespondenceWikidataQ2997917Encyclopedia of MathematicsRobinson-Schensted_correspondenceFindStatMp00070via Permutation
RskRecording(Permutation)The recording tableau of the RSK correspondence, as its rows.
Typed signatures
TypePackageApplies
(permutation) -> standard_tableaucombinatoricsalways

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.
  • Records WHERE each insertion landed: the row the bumped entries end in gets k in its new cell.

Examples

Basic #

the one-line word 231231

live ↗
InRskRecording(Permutation⁡([2,3,1]))\mathrm{RskRecording}({\operatorname{Permutation}}([2, 3, 1]))OutStandardTableau⁡([[1,2],[3]]){\operatorname{StandardTableau}}([[1, 2], [3]])
About
Examples1
CrosswalkWikipediaMathWorldWikidataEncyclopedia of MathematicsFindStat