package crlibm

  1. Overview
  2. Docs
Binding to CRlibm, a correctly rounded math lib

Install

Dune Dependency

github.com Readme Changelog LGPL-3.0-only License Edit opam file Versions (6)

Authors

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

Maintainers

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

Sources

crlibm-0.4.tbz
md5=d050a60185c69f58665a170ec2a7d973

Description

Tags

libm math science

Published: 08 Apr 2019

README

README.md

Crlibm

This module is a binding to CRlibm, an efficient and proved correctly-rounded mathematical library. CRlibm is now superseded by MetaLibm but the latter requires some polishing and documentation. For the user convenience, this module embeds the relevant C code from the CRlibm Git repository.

Install

The easier is to use opam:

opam install crlibm

Documentation

See crlibm.mli, also available online.

Dependencies (4)

  1. base-bytes build
  2. dune-configurator
  3. dune
  4. ocaml >= "4.03"

Dev Dependencies (1)

  1. benchmark with-test

Used by (1)

  1. interval_crlibm < "1.6"

Conflicts

None