Applies the Schur functor associated to lambda to the free module E. For a detailed definition of the Schur module see p.106 of Fulton "Young Tableaux".
The resulting M comes with cached data M.cache.Schur = {f, finv, AT, ST} where
{"f is a map from exterior_mu E to M;", "finv is a map from M to exterior_mu E;", "AT is a hash table of all tableaux, whose entries increase in every column;", "ST is a hash table of all standard tableaux (tableaux in AT, whose entries nondecrease in every row)." }
Tableaux are represented with objects of class Filling, which is a double list whose entries are lists giving the fillings of the corresponding columns.
|
|
|
|
|
The partition lambda should be a valid nonempty partition.
The object schurModule is a method function.