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 ]
]
|
An element (i,j) of the resulting tableau (which has shape of the
given partition) means that the vertical part of the hook has length i,
and the horizontal part j. The hook length is thus i+j-1.
Example:
> mapM_ print $ hooks $ toPartition [5,4,1]
[(3,5),(2,4),(2,3),(2,2),(1,1)]
[(2,4),(1,3),(1,2),(1,1)]
[(1,1)]
|