Browse thread
[Caml-list] float type with better precision than the default
-
romildo@u...
- Brian Hurt
- Jean-Christophe Filliatre
[
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: | 2003-12-08 (10:20) |
From: | Jean-Christophe Filliatre <Jean-Christophe.Filliatre@l...> |
Subject: | Re: [Caml-list] float type with better precision than the default |
romildo@uber.com.br writes: > > He is currently looking at the CReal library > that comes with mlgmp. Unfortunatly he is > finding that it is ineficient for his > application. Creal implements *exact* real arithmetic (i.e. all computations are exact and digits are computed later on demand). This is not to be used when efficiency is really needed, but only when exactness is. As Brian already suggested, arbitrary precision floats from the GMP library may be useful in your situation (but as far as I remember, this part of GMP is not (yet) interfaced in mlgmp.) Best regards, -- Jean-Christophe ------------------- 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