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
AuthorsJean-Marc Alliot <jean-marc.alliot@irit.fr>, Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> and Christophe Troestler <Christophe.Troestler@umons.ac.be>
LicenseLGPL-3.0-only
Published
Homepagehttps://github.com/Chris00/ocaml-interval
Issue Trackerhttps://github.com/Chris00/ocaml-interval/issues
MaintainerChristophe Troestler <Christophe.Troestler@umons.ac.be>
Availablearch = "x86_64"
Dependencies
Source [http] https://github.com/Chris00/ocaml-interval/releases/download/1.5/interval-1.5.tbz
md5=f44dd2c998cd3389cb63a56d676cb665
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/interval_intel/interval_intel.1.5/opam
Required by