[Caml-list] New version (1.3) of interval programming library / Nouvelle version (1.3) de la libraire de programmation par intervalle

[Caml-list] New version (1.3) of interval programming library / Nouvelle version (1.3) de la libraire de programmation par intervalle

[Jean-Marc Alliot]

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).