From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA06481; Mon, 8 Dec 2003 12:57:04 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA06557 for ; Mon, 8 Dec 2003 12:57:02 +0100 (MET) Received: from gentoo.malaquias.no-ip.org (233-131-083.xdsl-dinamico.ctbcnetsuper.com.br [200.233.131.83]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hB8Bv0r08879 for ; Mon, 8 Dec 2003 12:57:01 +0100 (MET) Received: by gentoo.malaquias.no-ip.org (Postfix, from userid 500) id E8019429D; Mon, 8 Dec 2003 09:57:22 -0200 (BRST) Date: Mon, 8 Dec 2003 09:57:22 -0200 From: romildo@uber.com.br To: Jean-Christophe Filliatre Cc: romildo@uber.com.br, caml-list@inria.fr, mgiv2595@terra.com.br Subject: Re: [Caml-list] float type with better precision than the default Message-ID: <20031208115722.GA18948@gentoo.malaquias.no-ip.org> Mail-Followup-To: Jean-Christophe Filliatre , romildo@uber.com.br, caml-list@inria.fr, mgiv2595@terra.com.br References: <20031206004429.GA22530@gentoo.malaquias.no-ip.org> <16340.20077.344218.980592@gargle.gargle.HOWL> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <16340.20077.344218.980592@gargle.gargle.HOWL> User-Agent: Mutt/1.5.5.1i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; romildo:01 caml-list:01 filliatre:01 romildo:01 creal:01 mlgmp:01 creal:01 floats:01 gmp:01 gmp:01 mlgmp:01 floats:01 implemented:01 implements:01 implements:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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