TYP - library for type checking of mu-EC objects
IsBorder -
tests whether the argument is a border of a partition
IsCompo -
tests whether the argument is a composition
IsDiagonal -
tests whether the argument is a diagonal encoding of a
partition
IsName -
tests whether the argument is an x.i indeterminate
IsPart -
tests whether the argument is a partition
IsPerm -
tests whether the argument is a permutation
IsRegPart -
tests whether the argument is a n-regular partition
IsSkewDiag -
tests whether the argument is a skew diagram
IsSkewPart -
tests whether the argument is a skew partition
Ise -
tests whether the argument is a product of generators of the
e-basis
IseA -
tests whether the argument is a product of generators of the
e-basis on a formal alphabet expression
Ish -
tests whether the argument is a product of generators of the
h-basis
IshA -
tests whether the argument is a product of generators of the
h-basis on a formal alphabet expression
Ism -
tests whether the argument is a generator of the m-basis
IsmA -
tests whether the argument is a generator of the m-basis on a
formal alphabet expression
Isp -
tests whether the argument is a product of generators of the
p-basis
IspA -
tests whether the argument is a product of generators of the
p-basis on a formal alphabet expression
Iss -
tests whether the argument is a generator of the s-basis
IssA -
tests whether the argument is a generator of the s-basis on a
formal alphabet expression
Permutation -
how permutations are encoded in mu-EC
Sf -
how symmetric functions are encoded in SYMF
SfA -
how symmetric functions are encoded in SFA
MuPAD Combinat, an open source algebraic combinatorics package