Maintainer | Anders Claesson <anders.claesson@gmail.com> |
---|---|
Safe Haskell | None |
Data types for Semistandard Young Tableaux (SSYT) and functions for converting between (generalized) permutataions and SSYT. In other words, this module implements the Robinson-Schensted-Knuth (RSK) correspondence.
- type GeneralizedPerm = [(Int, Int)]
- type Entry = Int
- type SSYT = [[Entry]]
- data SSYTPair = SSYTPair {}
- class Shape a where
- empty :: SSYTPair
- null :: SSYTPair -> Bool
- display :: SSYTPair -> String
- fromPerm :: Perm -> SSYTPair
- fromGeneralizedPerm :: GeneralizedPerm -> SSYTPair
- toPerm :: SSYTPair -> Perm
- toGeneralizedPerm :: SSYTPair -> GeneralizedPerm
Documentation
type GeneralizedPerm = [(Int, Int)]Source
A Generalized Permutation is a lexicographically sorted list of pairs of non-negative integers.
A Semistandard Young Tableau (SSYT): the entries weakly increase along each row and strictly increase down each column.
A pair of Semistandard Young Tableaux.
fromGeneralizedPerm :: GeneralizedPerm -> SSYTPairSource
The Robinson-Schensted-Knuth (RSK) algorithm.
toGeneralizedPerm :: SSYTPair -> GeneralizedPermSource
The inverse of the Robinson-Schensted-Knuth algorithm.