package interval_crlibm
An interval library for OCaml (crlibm version)
Install
Authors
Maintainers
Sources
interval-1.6.tbz
sha256=a2807d7860a9f965a3f91b40de17b98321e5c3f7da9e69dccf3dc20f1ac77e96
sha512=76196b171a41ce1374cae946b7c7a1dea6d614db61743ead14d628a12dce30a0dbd82db1960ad17b58f1f65a6f3fc61aaa5eac42face474baf840efb670feee8
Description
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.
Dependencies (3)
-
crlibm
>= "0.5"
- dune
-
interval_base
= version
Dev Dependencies
Used by (1)
-
interval
>= "1.6"
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page