Contents

Ax - predefined axioms

Table of contents

  1. canonicalOrder - the axiom of canonically ordered sets
  2. canonicalRep - the axiom of canonically representation
  3. canonicalUnitNormal - the axiom of canonically unit normals
  4. closedUnitNormals - the axiom of closed unit normals
  5. efficientOperation - the axiom of efficient operations
  6. normalRep - the axiom of normal representation
  7. noZeroDivisors - the axiom of rng's with no zero divisor
  8. systemRep - the axiom of facade domains





Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000