package interval_intel

  1. Overview
  2. No Docs
An interval library for OCaml

Install

github.com Edit opam file

Authors

  1. J
    Jean-Marc Alliot <jean-marc.alliot@irit.fr>
  2. J
    Jean-Baptiste Gotteland <gottelan@recherche.enac.fr>
  3. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Maintainers

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

interval-1.5.1.tbz
sha256=623b6117ba2d36f4ddbf78777d1ba1fad324d00db1f641f064fc231602b40aa2
sha512=09fbca71c9eeb89b56bbf752240f1fec8515757ecb4245912e6e6e7c9baa1cce1e6b009f40f17b5aa97f405ac870c6203f472eba6600efdaf43066e58a018d04

Description

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

Published: 08 May 2019

Dependencies (3)

  1. dune >= "1.3"
  2. interval_base = version
  3. ocaml >= "4.03" & < "5.0"

Dev Dependencies

None

Used by (1)

  1. interval = "1.5.1"

Conflicts

None