In order to compile this package, you need the following software:
  * O'Caml compiler 
  * OCamlMakefile: contained in ocaml-tools Debian package, also here
  * smathlib: http://interval.sourceforge.net/interval/prolog/clip/clip/smath/README.html

Invoke:
  make dc (for creating a slow debugging version)
  make nc (for creating an optimized version)

---------------------------------------------------------------------------
How to use the program:

INPUT: 
  [var1, var2, ..., varn] // variables
  expression 1; // expressions where the specified variables are used together with + - * / ^ SIN COS TAN EXP LOG ASIN ACOS ATAN  ... 
  expression 2; 
  ...
  expression n;
  [[a1,b1], [a2, b2], ..., [an, bn]] // box 

OUTPUT: deg(f,B,0), where f is a function with i'th component "expression i" and B is the box specified in the last line of entrance.

Examples of inputs:  ex1, ex2, ex3, ex4, ex5, ex6, ex7

WARNINGS:
  (1) the number of variables should be the same as the number of expressions and the dimension of the box
  (2) the box should be bounded, infinities are not allowed
  (3) The function f has to be nonzero everywhere on the boundary. Otherwise, the program does not terminate.

---------------------------------------------------------------------------
How it works: the main file is "degree.ml" It is the implementation of the algorithm described in details in this paper.

Contact:  franek (cs.cas.cz)
------------------------------------------------------