English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] float type with better precision than the default
[ Home ] [ Index: by date | by threads ]
[ Search: ]

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

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