Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package crlibm
Module CrlibmSource
Binding to CRlibm, a library of proved correctly-rounded mathematical functions.
Version: 0.5.1
Round to the nearest
include S
expm1 x returns exp x -. 1. in a way that is accurate even for values of x near zero.
log1p x returns log(x +. 1.) in a way that is accurate even for values of x near zero.
cospi x returns cos(π·x).
sinpi x returns sin(π·x).
tanpi x returns tan(π·x).
asinpi x returns (asin x)/π ∈ [-0.5, 0.5].
acospi x returns (acos x)/π ∈ [0., 1.].
atanpi x returns (atan x)/π ∈ [-0.5, 0.5].
pow x y computes x to the power y. Beware that this is not proved to be correctly rounded for all inputs.