Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Surreal-0.0.3
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
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