Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: 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.:

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

Markus Mottl

Markus Mottl                                   
Austrian Research Institute
for Artificial Intelligence        
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: