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 VAA06282; Mon, 10 Nov 2003 21:22:39 +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 VAA06306 for ; Mon, 10 Nov 2003 21:22:38 +0100 (MET) Received: from postfix4-2.free.fr (postfix4-2.free.fr [213.228.0.176]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hAAKMb102530 for ; Mon, 10 Nov 2003 21:22:37 +0100 (MET) Received: from univ-savoie.fr (bordeaux-1-a7-62-147-58-23.dial.proxad.net [62.147.58.23]) by postfix4-2.free.fr (Postfix) with ESMTP id C4C86C1F6; Mon, 10 Nov 2003 21:22:28 +0100 (CET) Message-ID: <3FB001DD.3030508@univ-savoie.fr> Date: Mon, 10 Nov 2003 22:23:41 +0100 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3.1) Gecko/20030428 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Eric Dahlman Cc: caml-list@inria.fr Subject: Re: [Caml-list] Rounding mode References: <3FAF975F.5070105@univ-savoie.fr> <3FAF9C64.7090504@atcorp.com> In-Reply-To: <3FAF9C64.7090504@atcorp.com> X-Enigmail-Version: 0.73.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig1424C50636D1E423E2858136" 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 rounding:01 openpgp:01 2440:01 3156:01 rounding:01 implemented:01 savoie:01 chablais:01 73376:01 univ-savoie:01 lama: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) --------------enig1424C50636D1E423E2858136 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Eric Dahlman wrote: > Christophe Raffalli wrote: > >> >> I saw a previous discussion about rounding mode for OCaml (in 2000). >> >> As anyone implemented the functions to change the rounding mode for >> floating point from OCaml (possibly as a patch to add primitives and >> save a C function call) ? >> >> This is necessary to implement interval arithmetic ... > > > Somewhat off topic but why is this necessary from a numerical math type > of perspective. I am honestly curious as I don't see how this would > interact with the calculation in a meaningful way. > > -Eric > interval arithmetic proceeds by computing not one appriximation of a real number x but an interval containing x. To add two intervals, you need to add both ends ... but one end with near to plus infinity round and the other end with near to minus infinity (if you care about correct program :-). -- 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 --------------------------------------------- --------------enig1424C50636D1E423E2858136 Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.2 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQE/sAHiSQDyWB/+xBwRAqMiAKC1WClXYsV870rWNTtQhDBeRzilkACgpJ02 QpB5ebYYgnw6hwg0oewS6mc= =9CMy -----END PGP SIGNATURE----- --------------enig1424C50636D1E423E2858136-- ------------------- 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