interval_intelversion
An interval library for OCaml
This library uses assembly code to compute all operations with proper roundings, and currently ONLY works on intel processors. It supports Linux, Windows and MacOs, with gcc and clang. Unfortunately, the Intel processor does not properly round trigonometric functions so this library cannot be used whenever proved correct enclosures are needed.
More information is given in the paper presented in the OCaml meeting 2012: http://www.alliot.fr/papers/oud2012.pdf
| Tags | interval science |
|---|---|
| Authors | Jean-Marc Alliot <jean-marc.alliot@irit.fr>, Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> and Christophe Troestler <Christophe.Troestler@umons.ac.be> |
| License | LGPL-3.0-only |
| Published | |
| Homepage | https://github.com/Chris00/ocaml-interval |
| Issue Tracker | https://github.com/Chris00/ocaml-interval/issues |
| Maintainer | Christophe Troestler <Christophe.Troestler@umons.ac.be> |
| Available | arch = "x86_64" |
| Dependencies |
|
| Source [http] | https://github.com/Chris00/ocaml-interval/releases/download/1.5/interval-1.5.tbz sha256=dab6e475e55d3b50947f0c1698ea12a4ccddfa811fadd052bb64120c035fe40b md5=f44dd2c998cd3389cb63a56d676cb665 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/interval_intel/interval_intel.1.5/opam |
Required by
- interval=1.5
