[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