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