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 LAA01274; Mon, 8 Dec 2003 11:20:54 +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 LAA01320 for ; Mon, 8 Dec 2003 11:20:53 +0100 (MET) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hB8AKqr29107 for ; Mon, 8 Dec 2003 11:20:52 +0100 (MET) Received: from pc8-123 (pc8-123 [129.175.8.123]) by lri.lri.fr (8.12.10/jtpda-5.4) with ESMTP id hB8ABvUV010563 ; Mon, 8 Dec 2003 11:11:58 +0100 (MET) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 1ATIMv-0005M7-00; Mon, 08 Dec 2003 11:11:57 +0100 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16340.20077.344218.980592@gargle.gargle.HOWL> Date: Mon, 8 Dec 2003 11:11:57 +0100 To: romildo@uber.com.br Cc: caml-list@inria.fr, mgiv2595@terra.com.br Subject: Re: [Caml-list] float type with better precision than the default In-Reply-To: <20031206004429.GA22530@gentoo.malaquias.no-ip.org> References: <20031206004429.GA22530@gentoo.malaquias.no-ip.org> X-Mailer: VM 7.03 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean X-Loop: caml-list@inria.fr X-Spam: no; 0.00; filliatre:01 filliatre:01 lri:01 caml-list:01 romildo:01 creal:01 mlgmp:01 creal:01 floats:01 gmp:01 gmp:01 mlgmp:01 implements:01 computed:01 arithmetic:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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