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 OAA24795; Mon, 10 Nov 2003 14:48:33 +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 OAA24531 for ; Mon, 10 Nov 2003 14:48:32 +0100 (MET) Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAADmV128842 for ; Mon, 10 Nov 2003 14:48:31 +0100 (MET) Received: from univ-savoie.fr (d85.lama.univ-savoie.fr [193.48.123.85]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id hAADn076006840 for ; Mon, 10 Nov 2003 14:49:00 +0100 Message-ID: <3FAF975F.5070105@univ-savoie.fr> Date: Mon, 10 Nov 2003 14:49:19 +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 CC: caml-list@inria.fr Subject: [Caml-list] Rounding mode References: In-Reply-To: X-Enigmail-Version: 0.73.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Loop: caml-list@inria.fr X-Spam: no; 0.00; raffalli:01 raffalli:01 univ-savoie:01 rounding:01 rounding:01 implemented:01 accueil:99 savoie:01 chablais:01 73376:01 univ-savoie:01 lama:01 enigmail:01 mutt:01 christophe:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 ... Note: I found the assembly code for 6 architectures on the web: http://www-anp.lip6.fr/cadna/Rounding_mode_Dir/Accueil.php From this, it would be easy to add it in OCaml ? -- 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 --------------------------------------------- ------------------- 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