BUGS

   1 To fix :
   2
   3   - let s = <:s< 0>=-1 >> ;;
   4     Stream.Error [comp_op] expected after [expression] (in [inequations]).
   5
   6   - The simplification of system remove ALL the constraints on temporary
   7     variables not used by the other constraints. We MUST verify before
   8     that the system build from these constraints has at least a solution.
   9
  10     rex (8/8/2000) : Partially fixed in the case of trivial inequations
  11     such that 0=1 (use of the function is_antilogy to shrink the system to
  12     "0=1" in this case, the other inequations being useless).
  13
  14   - Generation of useless new parameters (PIP part)
  15     Cannot find the example again, may be they are removed
  16     with the linearization variables.
  17
  18 Fixed :
  19
  20   - Bug in calcom2.ml example (Segmentation fault).
  21
  22     rex (11/8/2000) : In fact the bug occured when computing the intersection
  23     of two universal polyhedron (no constraints). Bug due to the simplification
  24     of the constraints 1>=0. Now the simplication is done only for functions
  25     giving a result to the user (not for internal functions).
  26
  27   - Bugs in dans Polyedron.enumeration :
  28
  29     # Polyhedron.enumeration
  30        ["i";"k"] ( Polyhedron.of_system <:s< i>=1, i<=11, i=2k >> ) ;;
  31     Uncaught exception: Failure("tl")
  32
  33     rex (8/8/2000) : Fixed (the special case when there is only parameters
  34     and no variable was not handled)
  35
  36     # Polyhedron.enumeration
  37        ["i"] ( Polyhedron.of_system <:s< i>=1, i<=11, i=2k >> ) ;;
  38     Segmentation fault
  39
  40     rex (8/8/2000) : Fixed (Bug in the polylib, bug in the C interface stub
  41     and bug in SPPoC, hairy this one !).
  42
  43   - The result of <:s< i<0 >> is { i>0 }
  44
  45     rex (8/8/2000) : Fixed (bug in the inequation printer)
  46