Math.Combinat.Tableaux

Young tableaux and similar gadgets. See e.g. William Fulton: Young Tableaux, with Applications to Representation theory and Geometry (CUP 1997).

The convention is that we use the English notation, and we store the tableaux as lists of the rows.

That is, the following standard tableau of shape [5,4,1]

  1  3  4  6  7
  2  5  8 10
  9

is encoded conveniently as

 [ [ 1 , 3 , 4 , 6 , 7 ]
 , [ 2 , 5 , 8 ,10 ]
 , [ 9 ]
 ]

Basic stuff

type Tableau a = [[a]]

_shape :: Tableau a -> [Int]

shape :: Tableau a -> Partition

dualTableau :: Tableau a -> Tableau a

hooks :: Partition -> Tableau Int

Row and column words

rowWord :: Tableau a -> [a]

rowWordToTableau :: Ord a => [a] -> Tableau a

columnWord :: Tableau a -> [a]

columnWordToTableau :: Ord a => [a] -> Tableau a

Standard Young tableaux

standardYoungTableaux :: Partition -> [Tableau Int]

Standard Young tableaux of a given shape. Adapted from John Stembridge, http://www.math.lsa.umich.edu/~jrs/software/SFexamples/tableaux.

countStandardYoungTableaux :: Partition -> Integer

hook-length formula