combinat-0.2.7.2: Generate and manipulate various combinatorial objects.

Safe HaskellNone
LanguageHaskell2010

Math.Combinat.Tableaux.LittlewoodRichardson

Description

The Littlewood-Richardson rule

Synopsis

Documentation

lrRule :: SkewPartition -> Map Partition Int Source

lrRule computes the expansion of a skew Schur function s[lambda/mu] via the Littlewood-Richardson rule.

Adapted from John Stembridge's Maple code: http://www.math.lsa.umich.edu/~jrs/software/SFexamples/LR_rule

_lrRule :: Num coeff => Partition -> Partition -> Map Partition coeff Source

_lrRule lambda mu computes the expansion of the skew Schur function s[lambda/mu] via the Littlewood-Richardson rule.

lrRuleNaive :: SkewPartition -> Map Partition Int Source

Naive, reference implementation of the Littlewood-Richardson rule, based on the definition "count the semistandard skew tableaux whose row content is a lattice word"