ex_interval v0.1.3 API Reference

Modules

Using intervals for the representation of real numbers, it is possible to control the error propagation of rounding or truncation, between others, in numerical computational procedures.

It implements the interval type and range operations on the type, using directed roundings intervals, recognize the input as strings and performs operations between intervals.

Rounding is a NIF module, allowing us to get or modify the floating-point status flags affecting the outcomes of some floating-point operations.