[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2002-05-16 (17:03) |
From: | Markus Mottl <markus@o...> |
Subject: | Re: [Caml-list] Surreal-0.0.3 |
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