[Contents]

Type - library for type checking and mathematical properties

Table of contents

  1. Intersection - a type representing the intersection of several types
  2. Predicate - a type for testing object satisfying a given predicate
  3. TableOf - a type representing tables

[Contents]


MuPAD Combinat, an open source algebraic combinatorics package