An interval library for OCaml

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: 09 Dec 2022

Dependencies (2)

  1. dune
  2. interval_base = version

Reverse Dependencies (1)

  1. interval >= "1.6"

Conflicts

    None

Install

Authors

Maintainers

Sources

interval-1.6.tbz
sha256=a2807d7860a9f965a3f91b40de17b98321e5c3f7da9e69dccf3dc20f1ac77e96
sha512=76196b171a41ce1374cae946b7c7a1dea6d614db61743ead14d628a12dce30a0dbd82db1960ad17b58f1f65a6f3fc61aaa5eac42face474baf840efb670feee8