# `Type` - library for type checking and mathematical properties

## Table of contents

1. `AlgebraicConstant` - a type representing algebraic constants
2. `AnyType` - a type representing arbitrary MuPAD objects
3. `Arithmetical` - a type representing arithmetical objects
4. `Complex` - a type and a property representing complex numbers
5. `Constant` - a type representing constant objects
6. `ConstantIdents` - set of constant identifiers in MuPAD
7. `Equation` - a type representing equations
8. `Even` - a type and a property representing even integers
9. `Imaginary` - a type and a property representing imaginary numbers
10. `IndepOf` - a type representing objects that do not contain given identifiers
11. `Integer` - a type and a property representing integers
12. `Interval` - a property representing intervals
13. `ListOf` - type for testing lists of objects with the same type
14. `ListProduct` - type for testing lists
15. `NegInt` - a type and a property representing negative integers
16. `NegRat` - a type and a property representing negative rational numbers
17. `Negative` - a type and a property representing negative numbers
18. `NonNegInt` - a type and a property representing nonnegative integers
19. `NonNegRat` - a type and a property representing nonnegative rational numbers
20. `NonNegative` - a type and a property representing nonnegative numbers
21. `NonZero` - a type and a property representing ``unequal to zero''
22. `Numeric` - a type for testing numerical objects
23. `Odd` - a type and a property representing odd integers
24. `PolyExpr` - type for testing polynomial expressions
25. `PolyOf` - type for testing polynomials
26. `PosInt` - a type and a property representing positive integers
27. `PosRat` - a type and a property representing positive rational numbers
28. `Positive` - a type and a property representing positive numbers
29. `Prime` - a type and a property representing prime numbers
30. `Product` - type for testing sequences
31. `Property` - type to identify properties
32. `RatExpr` - type for testing rational expressions
33. `Rational` - a type and a property representing rational numbers
34. `Real` - a type and a property representing real numbers
35. `Relation` - type for testing relations
36. `Residue` - a property representing a residue class
37. `SequenceOf` - type for testing sequences
38. `Series` - type for testing series
39. `SetOf` - type for testing sets
40. `Singleton` - type to identify exactly one object
41. `TableOfEntry` - type for testing tables with specified entries
42. `TableOfIndex` - type for testing tables with specified indices
43. `Union` - type for testing several types with one call
44. `Unknown` - type for testing variables
45. `Zero` - a type and a property representing zero

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000