enumeratio

Appearance

Rsk ​

The RSK correspondence: the insertion and recording tableaux, as a pair.

WikipediaRobinson–Schensted correspondenceMathWorldSchenstedCorrespondenceWikidataQ2997917Encyclopedia of MathematicsRobinson-Schensted_correspondence

Rsk(Permutation)

Domain: Combinatorial maps

Details
  • Takes a `Permutation` and returns a `StandardTableauPair` — a typed map, so a wrong carrier is a type error rather than a wrong answer.
  • Both tableaux share a shape, so the pair plus RskShape determines them. A standard_tableau_pair is a tuple of two carriers — the first composite carrier anything here constructs.

Examples