Contents

solvelib - data types and utilities for the solver

Table of contents

  1. BasicSet - the basic infinite sets
  2. conditionalSort - possible sortings of a list depending on parameters
  3. getElement - get one element of a set
  4. isFinite - test whether a set is finite
  5. pdioe - solve polynomial Diophantine equations
  6. preImage - preimage of a set under a mapping
  7. Union - union of a system of sets





Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000