Numerical Jet Geometry with PHCpack version 2.3.

The goal of this library is to perform the geometric completion
of differential algebraic equations numerically.  Currently, the
library contains only two ad hoc procedures since release 2.1.
Release 2.3 offered a new option: phc -w, witness set intersection
for geometric completion.

------------------------------------------------------------------------------
file name                        : short description
------------------------------------------------------------------------------
maindiff                         : to implement the phc -w option
ts_prolong                       : symbolic differentation of constraints
ts_dae                           : attempt to do geometric completion...
------------------------------------------------------------------------------
