On Mon, Dec 08, 2003 at 11:11:57AM +0100, Jean-Christophe Filliatre wrote:
> 
> 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.

Right. So Creal is not for him.

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

The latest mlgmp implements arbitrary precision floats. But some important
functions he needs (transcendental functions like sin and cossin) are not
available in mlgmp. Will he be able to find such functions implemented
elsewhere for arbitrary precision floats from gmp?

Regards.

Romildo

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