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 LAA07996; Fri, 2 Nov 2001 11:33:26 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA07991 for caml-announce@pauillac.inria.fr; Fri, 2 Nov 2001 11:33:26 +0100 (MET) 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 LAA06278 for ; Fri, 2 Nov 2001 11:32:05 +0100 (MET) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fA2AW4j06635 for ; Fri, 2 Nov 2001 11:32:04 +0100 (MET) Received: from pc803.lri.fr (IDENT:root@pc803 [129.175.8.114]) by ext.lri.fr (8.11.6/jtpda-5.3.2) with ESMTP id fA2AW3b26845 for ; Fri, 2 Nov 2001 11:32:04 +0100 (MET) Received: by pc803.lri.fr (8.9.3/feuille) id LAA21884 ; Fri, 2 Nov 2001 11:32:02 +0100 X-Authentication-Warning: localhost.localdomain: filliatr set sender to filliatr@pc803 using -f From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15330.30242.865717.221157@pc803> Date: Fri, 2 Nov 2001 11:32:02 +0100 (MET) To: caml-announce@inria.fr Subject: [Caml-announce] exact real arithmetic X-Mailer: VM 6.49 under Emacs 20.4.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: owner-caml-announce@pauillac.inria.fr Precedence: bulk This is to announce an exact real arithmetic module for ocaml, called Creal (for Constructive Reals). It is available from here: http://www.lri.fr/~filliatr/software.en.html This module provides an abstract data type of real numbers, on which all operations are exact, and return immediately. When necessary, one can ask for an approximation of a real number to a given precision and this triggers all the actual computations, including approximations of some operands to higher precisions if necessary. This implementation is based on Valérie Ménissier-Morain PhD thesis (http://www-calfor.lip6.fr/~vmm/arith_english.html) The tarball includes an ocaml interface to GMP (GNU Multi Precision library), mainly written by David Monniaux. Comments and suggestions are welcome. -- Jean-Christophe Filliatre (http://www.lri.fr/~filliatr)