Contents

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