On Fri, 17 May 2002, YAMAGATA yoriyuki wrote:
> The library is currently just a rough sketch, and not well tested.
> There is no plan to further development.  I am tired of error bound
> estimation.  However, if someone is interested, I would love to
> share ideas.

Has anybody ever attempted to implement exact real arithmetic in OCaml
in a "lazy" way such that one doesn't have to estimate error bounds? E.g.:

  http://www.dcs.ed.ac.uk/home/als/Research/lazy.ps.gz

The only problem of such a library might be its efficiency...

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners