From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1DEgvIq008755 for ; Mon, 13 Feb 2012 15:42:57 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiUEAO0gOU9QDPJ8k2dsb2JhbABDgxGtIAEBAQEJCQsJFAMkgjFALg8WGAMCAQIBNyEGAgEBh3sGnA+YBotrBAEEEgQBBQQDBAQHDgYBAwgBIAaDYCU0BiCDHQSVMoVajQs X-IronPort-AV: E=Sophos;i="4.73,412,1325458800"; d="scan'208";a="131157753" Received: from smtp02.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.124]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Feb 2012 15:42:32 +0100 Received: from god.stelix.fr ([92.134.214.174]) by mwinf5d49 with ME id ZSiX1i00e3mL44k03SiY9h; Mon, 13 Feb 2012 15:42:32 +0100 Received: from [10.31.1.17] (helo=[127.0.0.1]) by god.stelix.fr with esmtp (Exim 4.69) (envelope-from ) id 1Rwx6t-0006Vr-Jr for caml-list@inria.fr; Mon, 13 Feb 2012 15:42:31 +0100 Message-ID: <4F392146.2000801@irit.fr> Date: Mon, 13 Feb 2012 15:42:14 +0100 From: Jean-Marc Alliot User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:10.0) Gecko/20120129 Thunderbird/10.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Antivirus: avast! (VPS 120212-1, 12/02/2012), Outbound message X-Antivirus-Status: Clean Subject: [Caml-list] Interval programming library This is an interval computation library for ocaml. The download link is : http://www.alliot.fr/code/interval.tgz This library uses assembly code to compute all operations with proper roundings (high/low), and currently ONLY works on intel processors. The package has been developped for linux systems but should probably work on windows distribution with a few tweaks. Documentation is available in the doc/ directory in html, pdf and dvi formats. It is extremely wise to read the whole documentation, even if you intend to only use the interval module. To build the library just type "make" in the main directory. Tests are available in the TESTS/ directory. They are mainly for debugging purpose and quite complicated. You may run them to check that everything is working properly for your machine. The test program runs also a speed test program for your particular architecture. Examples are available in the EXAMPLES/ directory. There is a B_AND_B sub-directory with an example of a branch-and-bound algorithm that uses interval arithmetics for function optimization (the example is for the Griewank function, but you can substitute any function you like). All bug reports should be sent to jean-marc.alliot@irit.fr gottelan@recherche.enac.fr Happy interval programming...