interval_crlibmversion

An interval library for OCaml (crlibm version)

This library uses assembly code to compute all operations with proper roundings, and currently ONLY works on intel processors.

This package uses CRlibm (a proved correctly rounded mathematical library) to provide enclosures of transcendental functions. It may be slower than the version using the implementation in the CPU but the bounds are proved correct. It also provides *pi versions of the trigonometric functions and their inverse.

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>
Dependencies
Source [http] https://github.com/Chris00/ocaml-interval/releases/download/1.5.1/interval-1.5.1.tbz
sha256=623b6117ba2d36f4ddbf78777d1ba1fad324d00db1f641f064fc231602b40aa2
sha512=09fbca71c9eeb89b56bbf752240f1fec8515757ecb4245912e6e6e7c9baa1cce1e6b009f40f17b5aa97f405ac870c6203f472eba6600efdaf43066e58a018d04
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/interval_crlibm/interval_crlibm.1.5.1/opam
Required by