StandardTableauPair
A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.
Catalogued in the enumeratio database; not yet written up here.
StandardTableauPair(...)Catalogued in the enumeratio database; not yet written up here.Typed signatures
| Type | Package | Applies |
|---|---|---|
(tuple<standard_tableau, standard_tableau>) -> standard_tableau_pair | combinatorics | always |
Maps
Into and out of StandardTableauPair, called as CombinatorialMap(x, "Name"). Properties are the laws we state and what FindStat records.
From StandardTableauPair
- ToPermutationStandardTableauPair → PermutationinverseThe permutation an RSK pair comes from: inverse RSK.
To StandardTableauPair
- RskPermutation → StandardTableauPairThe RSK correspondence: the insertion and recording tableaux, as a pair.