From: Jean-Marc Alliot <jean-marc.alliot@irit.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Interval programming library
Date: Mon, 13 Feb 2012 15:42:14 +0100 [thread overview]
Message-ID: <4F392146.2000801@irit.fr> (raw)
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...
next reply other threads:[~2012-02-13 14:42 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-02-13 14:42 Jean-Marc Alliot [this message]
2012-02-13 15:37 ` Fabrice Le Fessant
2012-02-13 23:44 ` Jean-Marc Alliot
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F392146.2000801@irit.fr \
--to=jean-marc.alliot@irit.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).