combinat::lrcalc – Interface with lrcalc

combinat::lrcalc is an interface with Anders Buch's Littlewood-Richardson Calculator.

→ Examples

Details:

lrcoef – Littlewood-Richardson coefficient

combinat::lrcalc::lrcoef(partition nu, partition lambda, partition mu)

Returns the Littlewood-Richardson coefficient math, which is the coefficient of the Schur function math in the product math.

skew – Expansion of a skew Schur function in the basis of Schur functions

combinat::lrcalc::skew(partition nu, partition lambda)

Returns the list of all partitions math for which the Littlewood-Richardson coefficient math is non-zero, with that coefficient in front.

mult – Expansion of a product of two Schur functions in the basis of Schur functions

combinat::lrcalc::mult(partition lambda, partition mu)

Returns the list of all partitions math for which the Littlewood-Richardson coefficient math is non-zero, with that coefficient in front.

coprod – Expansion of the coproduct of a Schur function

combinat::lrcalc::coprod(partition nu)

Returns the list of all pairs of partitions math and math for which the Littlewood-Richardson coefficient math is non-zero, with that coefficient in front.

Example 1:

We start by computing the Littlewood-Richardson coefficient for math, math and math:

combinat::lrcalc::lrcoef([3, 2, 1], [2, 1], [2, 1])

math

Most of the remaining methods return linear combination of partitions (or of pairs of partitions), which are represented in the usual poly2list format. For example, the skew Schur function math expands on Schur functions as math:

combinat::lrcalc::skew([3, 2, 1], [2, 1])

math

This gives the expansion of the product of the two Schur functions

combinat::lrcalc::mult([2, 1], [2, 1])

math

Coproduct are also computed by

combinat::lrcalc::coprod([3, 2, 1])

math

And finally if one only needs one coefficient

combinat::lrcalc::lrcoef([12, 11, 10, 9, 8, 7, 6, 5, 4, 3, 2, 1],

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

                         [8, 7, 6, 6, 5, 4, 3, 2, 1])

math

Changes in MuPAD 3.1

New Function.