PieriMaps : Index

• applyDualLR -- apply dualLR to a single basis pair (T_nu, T_mu)
• applyDualLR(...,Convention=>...) -- apply dualLR to a single basis pair (T_nu, T_mu)
• applyDualLR(Sequence,List,List,ZZ) -- apply dualLR to a single basis pair (T_nu, T_mu)
• applyDualPieri -- apply dualPieri to a single basis pair (poly, T_lambda)
• applyDualPieri(...,Convention=>...) -- apply dualPieri to a single basis pair (poly, T_lambda)
• applyDualPieri(Sequence,RingElement,BasicList,ZZ) -- apply dualPieri to a single basis pair (poly, T_lambda)
• applyDualPieriColumn -- apply dualPieriColumn to a single basis pair (wedge_poly, T_lambda)
• applyDualPieriColumn(...,Convention=>...) -- apply dualPieriColumn to a single basis pair (wedge_poly, T_lambda)
• applyDualPieriColumn(Sequence,RingElement,BasicList,ZZ) -- apply dualPieriColumn to a single basis pair (wedge_poly, T_lambda)
• applyLR -- apply Psi_Q to a single tableau of shape lambda
• applyLR(...,Convention=>...) -- apply Psi_Q to a single tableau of shape lambda
• applyLR(Sequence,List,BasicList,ZZ) -- apply Psi_Q to a single tableau of shape lambda
• applyPieri -- apply pieri to a single source tableau T_mu
• applyPieri(...,Convention=>...) -- apply pieri to a single source tableau T_mu
• applyPieri(Sequence,BasicList,PolynomialRing) -- apply pieri to a single source tableau T_mu
• applyPieriColumn -- apply pieriColumn to a single source tableau T_mu
• applyPieriColumn(...,Convention=>...) -- apply pieriColumn to a single source tableau T_mu
• applyPieriColumn(Sequence,BasicList,PolynomialRing) -- apply pieriColumn to a single source tableau T_mu
• Convention -- tableau basis convention used by PieriMaps' overhauled functions
• Direction -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• displayLRImage -- pretty-print the result of applyLR
• displayLRImage(List) -- pretty-print the result of applyLR
• dualLR -- GL-equivariant projection S_nu V ⊗ S_mu V --> S_lambda V at a chosen LR tableau
• dualLR(...,Convention=>...) -- GL-equivariant projection S_nu V ⊗ S_mu V --> S_lambda V at a chosen LR tableau
• dualLR(Sequence,List,PolynomialRing) -- GL-equivariant projection S_nu V ⊗ S_mu V --> S_lambda V at a chosen LR tableau
• dualLR(Sequence,List,ZZ) -- 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
• dualPieri(...,Convention=>...) -- GL-equivariant projection Sym^d V ⊗ S_lambda V --> S_mu V
• dualPieri(List,List,PolynomialRing) -- 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
• dualPieriColumn(...,Convention=>...) -- GL-equivariant projection wedge^d V ⊗ S_lambda V --> S_mu V
• dualPieriColumn(List,List,PolynomialRing) -- 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
• lrMap(...,Convention=>...) -- GL(V)-equivariant Littlewood-Richardson inclusion
• lrMap(Sequence,List,PolynomialRing) -- GL(V)-equivariant Littlewood-Richardson inclusion
• lrMap(Sequence,List,ZZ) -- GL(V)-equivariant Littlewood-Richardson inclusion
• lrTableaux -- enumerate Littlewood-Richardson tableaux
• lrTableaux(List,List,List) -- enumerate Littlewood-Richardson tableaux
• pieri -- computes a matrix representation for a Pieri inclusion of representations of a general linear group
• pieri(...,Convention=>...) -- computes a matrix representation for a Pieri inclusion of representations of a general linear group
• pieri(List,List,PolynomialRing) -- computes a matrix representation for a Pieri inclusion of representations of a general linear group
• pieriColumn -- native column-form (vertical-strip) Pieri inclusion
• pieriColumn(...,Convention=>...) -- native column-form (vertical-strip) Pieri inclusion
• pieriColumn(List,List,PolynomialRing) -- native column-form (vertical-strip) Pieri inclusion
• PieriMaps -- Pieri inclusions
• 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
• pureFree(...,Convention=>...) -- computes a GL(V)-equivariant map whose resolution is pure, or the reduction mod p of such a map
• pureFree(List,PolynomialRing) -- 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
• schurRank(ZZ,List) -- 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
• standardTableaux(ZZ,List) -- list all standard tableaux of a certain shape with bounded labels
• straighten -- computes straightening of a tableau
• straighten(List) -- computes straightening of a tableau
• straighten(List,MutableHashTable) -- computes straightening of a tableau
• symbolicForm -- print a Schur-rep matrix as a basis-labeled symbolic map
• symbolicForm(Matrix) -- print a Schur-rep matrix as a basis-labeled symbolic map
• verifyEquivariant -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyEquivariant(...,Convention=>...) -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyEquivariant(...,Direction=>...) -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyEquivariant(...,Verbose=>...) -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyEquivariant(Matrix,List,List,PolynomialRing) -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyEquivariant(Matrix,Sequence,ZZ) -- rigorously verify GL_n-equivariance of a Schur-rep matrix
• verifyWellDefined -- verify an LR map respects the chosen convention's straightening relations
• verifyWellDefined(...,Convention=>...) -- verify an LR map respects the chosen convention's straightening relations
• verifyWellDefined(...,Direction=>...) -- verify an LR map respects the chosen convention's straightening relations
• verifyWellDefined(...,Verbose=>...) -- verify an LR map respects the chosen convention's straightening relations
• verifyWellDefined(List,List,PolynomialRing) -- verify an LR map respects the chosen convention's straightening relations
• verifyWellDefined(Sequence,List,ZZ) -- 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