PieriMaps : Table of Contents

• PieriMaps -- Pieri inclusions
• applyDualLR -- apply dualLR to a single basis pair (T_nu, T_mu)
• applyDualPieri -- apply dualPieri to a single basis pair (poly, T_lambda)
• applyDualPieriColumn -- apply dualPieriColumn to a single basis pair (wedge_poly, T_lambda)
• applyLR -- apply Psi_Q to a single tableau of shape lambda
• applyPieri -- apply pieri to a single source tableau T_mu
• applyPieriColumn -- apply pieriColumn to a single source tableau T_mu
• Convention -- tableau basis convention used by PieriMaps' overhauled functions
• displayLRImage -- pretty-print the result of applyLR
• dualLR -- GL-equivariant projection S_nu V ⊗ S_mu V --> S_lambda V at a chosen LR tableau
• dualPieri -- GL-equivariant projection Sym^d V ⊗ S_lambda V --> S_mu V
• dualPieriColumn -- GL-equivariant projection wedge^d V ⊗ S_lambda V --> S_mu V
• fillingToPM -- convert a SchurFunctors column-form Filling to PieriMaps row-form tableaux
• fillingToPMMatrix -- QQ matrix of the Filling-to-PM change of basis on a Schur module
• fillingToWeyl -- convert a Filling to a sum of WeylFillings (compose pmToWeyl with fillingToPM)
• lrMap -- GL(V)-equivariant Littlewood-Richardson inclusion
• lrTableaux -- enumerate Littlewood-Richardson tableaux
• pieri -- computes a matrix representation for a Pieri inclusion of representations of a general linear group
• pieriColumn -- native column-form (vertical-strip) Pieri inclusion
• pmToFilling -- convert a PieriMaps row-form tableau to SchurFunctors column-form Fillings
• pmToFillingMatrix -- QQ matrix of the PM-to-Filling change of basis on a Schur module
• pmToWeyl -- convert a PieriMaps row-form tableau to a SchurFunctors WeylFilling
• pureFree -- computes a GL(V)-equivariant map whose resolution is pure, or the reduction mod p of such a map
• schurRank -- computes the dimension of the irreducible GL(QQ^n) representation associated to a partition
• standardTableaux -- list all standard tableaux of a certain shape with bounded labels
• straighten -- computes straightening of a tableau
• symbolicForm -- print a Schur-rep matrix as a basis-labeled symbolic map
• verifyEquivariant -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyWellDefined -- verify an LR map respects the chosen convention's straightening relations
• weylToFilling -- convert a WeylFilling to a SchurFunctors Filling (compose pmToFilling with weylToPM)
• weylToPM -- convert a SchurFunctors WeylFilling to a PieriMaps row-form tableau