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 MAA25938; Tue, 30 Dec 2003 12:32:33 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA25887 for ; Tue, 30 Dec 2003 12:32:32 +0100 (MET) Received: from postfix3-1.free.fr (postfix3-1.free.fr [213.228.0.44]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hBUBWUv04688; Tue, 30 Dec 2003 12:32:30 +0100 (MET) Received: from univ-savoie.fr (grenoble-1-62-147-73-181.dial.proxad.net [62.147.73.181]) by postfix3-1.free.fr (Postfix) with ESMTP id 56893C5E9F; Tue, 30 Dec 2003 12:25:24 +0100 (CET) Message-ID: <3FF1609E.5030202@univ-savoie.fr> Date: Tue, 30 Dec 2003 12:25:18 +0100 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030630 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Damien Doligez Cc: caml-list@inria.fr, caml-bugs@pauillac.inria.fr Subject: Re: [Caml-list] Problem with the Num implementation References: In-Reply-To: X-Enigmail-Version: 0.76.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig936D306EF709EA282C85C30B" Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; raffalli:01 raffalli:01 univ-savoie:01 caml-list:01 openpgp:01 2440:01 3156:01 convincing:01 arithmetics:01 savoie:01 chablais:01 73376:01 univ-savoie:01 lama:01 enigmail:01 X-Attachments: type="application/pgp-signature" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig936D306EF709EA282C85C30B Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit I just use this thread to ask again a question ... How to compute the best or at least a very good float interval containing a rational number with the num library ? The float_of-num function is really not convincing (it is very slow because it does a translation to a decimal representation as string and look at all the digits !). Remark: it should be possible to find a very good (may be not always the best) float interval in constant time ! This is usefull to implement lazy arithmetics (you compute with floating point interval until this is not enough and then you compute the exact value. But it is useful in some cases to compute an interval from the rational number and it needs to be fast to be useful) -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature --------------------------------------------- --------------enig936D306EF709EA282C85C30B Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQE/8WCkSQDyWB/+xBwRAsKeAJ9oGYH9XHpOn6J3ZugwJreTou5h2wCePRrP EPENzee137oKUi1A+nVhcF4= =bN8A -----END PGP SIGNATURE----- --------------enig936D306EF709EA282C85C30B-- ------------------- 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