From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 79EB98015D for ; Fri, 26 May 2017 08:02:52 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jean-marc.alliot@irit.fr; spf=None smtp.mailfrom=jean-marc.alliot@irit.fr; spf=Pass smtp.helo=postmaster@n7smtp2.enseeiht.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jean-marc.alliot@irit.fr) identity=pra; client-ip=147.127.176.23; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jean-marc.alliot@irit.fr"; x-sender="jean-marc.alliot@irit.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jean-marc.alliot@irit.fr) identity=mailfrom; client-ip=147.127.176.23; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jean-marc.alliot@irit.fr"; x-sender="jean-marc.alliot@irit.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@n7smtp2.enseeiht.fr designates 147.127.176.23 as permitted sender) identity=helo; client-ip=147.127.176.23; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jean-marc.alliot@irit.fr"; x-sender="postmaster@n7smtp2.enseeiht.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3Ahqk2LxUDdTOi/W2KjjWctvbIy4/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbB2Ht8tkgFKBZ4jH8fUM07OQ6PG+HzFfqdbZ6TZZIcMKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9SnfHZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5y?= =?us-ascii?q?O/inUtWK15f/2O+94YDcbBtVjzShf7xyMA+2rQLMvcUKnIduMKg8xx/Ir3dSe+?= =?us-ascii?q?lbx35jKVaPkxrh/Mu98ppu/iZKt/4968JMVLjxcrglQ7BfEDkpPGc56dHxuxXE?= =?us-ascii?q?UQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus86lkSBnziC?= =?us-ascii?q?caLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4Wh?= =?us-ascii?q?ZIYJEuEPP/tXr5PlqlUQrRWwGAqiCu3hxTBHmnD40rY30/giHAzcwAAsA9wDvX?= =?us-ascii?q?bSod7oNKkSS+e1zKzQwDvHcfxZwzH95JHPfB87u/GDQa97fNbVyUkrFgPFiUmQ?= =?us-ascii?q?opHiMjOXyOsCqW6b4/NlVe21kW4otxt9rSKrxscoi4nJgZ4Vx0vF9SVjwYY1Oc?= =?us-ascii?q?e0SEBhYdO9FpZbqi+UN4xzQsw4QmFovj43xacCuZ6/fSgKz4gnyATDa/yGaYiI?= =?us-ascii?q?4w7jWPyfITdinH5qYra/hxKz8Uin1u3wTMe00ExSoiVblNnDrGwC2wbd6sidTP?= =?us-ascii?q?Z240Sv2S6X2gzO5exJI1o4mbfFJ5Mj2LI8i5gevEXZEiPolkj6lKubelk+9uWp?= =?us-ascii?q?9+jreKvqq5CSOoNulw3zMrkil8qiCuoiKAcORXKU+eGk2b3j40L5RLJKg+Uwkq?= =?us-ascii?q?Tbq5DaINgbpranDwNPzIkj7Q2/ACm439QZnXkHMEhJeBydj4TxOlHOJu73Deun?= =?us-ascii?q?jlixnzpmxerKMqD/DpjPNHTPjbXscLdn50JCxgc/1dVf6IhVCrEFLvLzQEjxtN?= =?us-ascii?q?nAAx87LQO72eDnBMx41owEQ2KAHrWVP7nWsV+M5+IvJPWMaZQUuDbnKvgl++Ti?= =?us-ascii?q?jXEjmVMFZ6mmwYMXaGykHvRhO0iWfWDjgtIFEWsTugo+TffqiEGZXD5IZ3eyWr?= =?us-ascii?q?o86SshBIKnC4fDXIGtj6ab0Ce1BJ0FLlxBX1uFFHOtc4SfR98NbjiTK4lviG8q?= =?us-ascii?q?T7+kHq0s3BfrkQbgwPJOKu7V/TFQ4ZDu3d4w4uTJnlc78Th1CNi10nuMUyd6hD?= =?us-ascii?q?VbFHcNwKljrBklmR+42q9ijqkAGA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DNAADqwydZmBewf5NdHRgHDBgHhACBD?= =?us-ascii?q?YMpRptZLZd8KIh/QxQBAQEBAQEBAQEBARIBAQEBAQgLCwYoL4IzIoJWFw8BBVo?= =?us-ascii?q?UCAIfBwJLASAIAQGKJgQBC4xmjVWOWBGBIoImjASBC4ddC4Jmh3iCYAWeI3Brh?= =?us-ascii?q?UWMCIIGiQUjhkmMGog0NoErMCEnhQkBAQgBAQEBUiWBTHQBiQgBAQE?= X-IPAS-Result: =?us-ascii?q?A0DNAADqwydZmBewf5NdHRgHDBgHhACBDYMpRptZLZd8KIh?= =?us-ascii?q?/QxQBAQEBAQEBAQEBARIBAQEBAQgLCwYoL4IzIoJWFw8BBVoUCAIfBwJLASAIA?= =?us-ascii?q?QGKJgQBC4xmjVWOWBGBIoImjASBC4ddC4Jmh3iCYAWeI3BrhUWMCIIGiQUjhkm?= =?us-ascii?q?MGog0NoErMCEnhQkBAQgBAQEBUiWBTHQBiQgBAQE?= X-IronPort-AV: E=Sophos;i="5.38,395,1491256800"; d="scan'208";a="274772315" Received: from n7smtp2.enseeiht.fr ([147.127.176.23]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 May 2017 08:02:51 +0200 Received: from imap.enseeiht.fr (imap.enseeiht.fr [147.127.176.21]) by n7smtp2.enseeiht.fr (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id v4Q62mMg014718 for ; Fri, 26 May 2017 08:02:51 +0200 Received: from [10.31.1.2] (AToulouse-654-1-364-151.w90-60.abo.wanadoo.fr [90.60.243.151]) (authenticated bits=0) by imap.enseeiht.fr (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id v4Q62jX4002505 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Fri, 26 May 2017 08:02:48 +0200 To: caml-list@inria.fr From: Jean-Marc Alliot Message-ID: Date: Fri, 26 May 2017 08:02:37 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.0 (n7smtp2.enseeiht.fr [147.127.176.23]); Fri, 26 May 2017 08:02:51 +0200 (CEST) X-Scanned-By: MIMEDefang 2.64 on 147.127.176.23 Subject: [Caml-list] New version (1.3) of interval programming library / Nouvelle version (1.3) de la libraire de programmation par intervalle Interval computation library for ocaml, version 1.3, release date 26/05/2017. The download link is here: Librairie de programmation par intervalle, version 1.3, en date du 26/05/2017. Le lien vers la page de téléchargement se trouve ci-dessous: http://www.alliot.fr/fbbdet.html.fr 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 it looks like it is now working properly with Windows and MacOs, and with gcc and clang. Cette librairie est écrite majoritairement en assembleur et implante correctement la totalité des opérations arithmétiques et transcendentales; elle a été développée et testée principalement sous Linux avec gcc, mais devrait fonctionner maintenant sous Linux, Windows et MacOs, avec gcc et clang. Elle ne fonctionne que sur les processeurs INTEL. 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, because of the"strange behavior" of the x87 coprocessor... La documentation est disponible dans le répertoire doc/ de l'archive en format html, pdf et dvi. Il est très fortement conseillé de la lire, en raison en particulier du "comportement étrange" du coprocesseur x87... To build and test, read the README file in the main directory. Pour compiler et lancer les programmes de tests, lire le fichier README dans le répertoire principal. 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. Des tests sont disponibles dans le répertoire TESTS. Ils sont avant destinés à débugger le programme. Vous pouvez les lancer pour vérifier que tout foncionne correctement sur votre machine. Ils comprennent également un programme qui évaluera la vitesse de la libraire sur votre 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). Des exemples sont disponibles dans le répertoire EXAMPLES/. On y trouve en particulier un répertoire B_AND_B qui contient une example d'algorithme d'optimisation par branch-and-bound qui utilise l'intervalle d'arithémtique pour la fonction de Griewank (elle peut être remplacée par la fonction de votre choix). All bug reports should be sent to: Tous les rapports de bug doivent être envoyés à: jean-marc.alliotATirit.fr gottelanATrecherche.enac.fr Happy interval programming... Bonne programmation (par intervalle).