[Contents]

# `TYP` - library for type checking of mu-EC objects

## Table of contents

1. The library `muEC::TYP`

1. `IsBorder` - tests whether the argument is a border of a partition
2. `IsCompo` - tests whether the argument is a composition
3. `IsDiagonal` - tests whether the argument is a diagonal encoding of a partition
4. `IsName` - tests whether the argument is an x.i indeterminate
5. `IsPart` - tests whether the argument is a partition
6. `IsPerm` - tests whether the argument is a permutation
7. `IsRegPart` - tests whether the argument is a `n`-regular partition
8. `IsSkewDiag` - tests whether the argument is a skew diagram
9. `IsSkewPart` - tests whether the argument is a skew partition
10. `Ise` - tests whether the argument is a product of generators of the e-basis
11. `IseA` - tests whether the argument is a product of generators of the e-basis on a formal alphabet expression
12. `Ish` - tests whether the argument is a product of generators of the h-basis
13. `IshA` - tests whether the argument is a product of generators of the h-basis on a formal alphabet expression
14. `Ism` - tests whether the argument is a generator of the m-basis
15. `IsmA` - tests whether the argument is a generator of the m-basis on a formal alphabet expression
16. `Isp` - tests whether the argument is a product of generators of the p-basis
17. `IspA` - tests whether the argument is a product of generators of the p-basis on a formal alphabet expression
18. `Iss` - tests whether the argument is a generator of the s-basis
19. `IssA` - tests whether the argument is a generator of the s-basis on a formal alphabet expression
20. `Permutation` - how permutations are encoded in mu-EC
21. `Sf` - how symmetric functions are encoded in `SYMF`
22. `SfA` - how symmetric functions are encoded in `SFA`

[Contents]

MuPAD Combinat, an open source algebraic combinatorics package