package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Float.DoubleSource

Double precision operations.

Operations

Sourceval add_near : t -> t -> t
Sourceval add_up : t -> t -> t
Sourceval add_down : t -> t -> t
Sourceval add_zero : t -> t -> t

Addition

Sourceval sub_near : t -> t -> t
Sourceval sub_up : t -> t -> t
Sourceval sub_down : t -> t -> t
Sourceval sub_zero : t -> t -> t

Subtraction

Sourceval mul_near : t -> t -> t
Sourceval mul_up : t -> t -> t
Sourceval mul_down : t -> t -> t
Sourceval mul_zero : t -> t -> t

Multiplication

Sourceval mulz_near : t -> t -> t
Sourceval mulz_up : t -> t -> t
Sourceval mulz_down : t -> t -> t
Sourceval mulz_zero : t -> t -> t

Special multiplication where 0 * ∞ is 0, not NaN. This is particularly useful for interal bounds.

Sourceval div_near : t -> t -> t
Sourceval div_up : t -> t -> t
Sourceval div_down : t -> t -> t
Sourceval div_zero : t -> t -> t

Division

Sourceval divz_near : t -> t -> t
Sourceval divz_up : t -> t -> t
Sourceval divz_down : t -> t -> t
Sourceval divz_zero : t -> t -> t

Special division where 0 / 0 and ∞ / ∞ are 0, not NaN. This is particularly useful for interal bounds.

Sourceval mod_near : t -> t -> t
Sourceval mod_up : t -> t -> t
Sourceval mod_down : t -> t -> t
Sourceval mod_zero : t -> t -> t

Remainder.

Sourceval square_near : t -> t
Sourceval square_up : t -> t
Sourceval square_down : t -> t
Sourceval square_zero : t -> t

Square.

Sourceval sqrt_near : t -> t
Sourceval sqrt_up : t -> t
Sourceval sqrt_down : t -> t
Sourceval sqrt_zero : t -> t

Square root.

Sourceval round_int_near : t -> t
Sourceval round_int_up : t -> t
Sourceval round_int_down : t -> t
Sourceval round_int_zero : t -> t

Rounding to an integer.

Sourceval of_int_near : int -> t
Sourceval of_int_up : int -> t
Sourceval of_int_down : int -> t
Sourceval of_int_zero : int -> t

Conversion from int with rounding.

Sourceval of_int64_near : int64 -> t
Sourceval of_int64_up : int64 -> t
Sourceval of_int64_down : int64 -> t
Sourceval of_int64_zero : int64 -> t

Conversion from int64 with rounding.

Sourceval of_z_near : Z.t -> float
Sourceval of_z_up : Z.t -> float
Sourceval of_z_down : Z.t -> float
Sourceval of_z_zero : Z.t -> float

Conversion from Zarith with rounding.

Floating-point format characteristics

Sourceval mantissa_bits : int
Sourceval exponent_bits : int
Sourceval exponent_bias : int
Sourceval min_exponent : int
Sourceval max_exponent : int
Sourceval nan_infinity_exponent : int
Sourceval min_denormal : t
Sourceval min_normal : t
Sourceval max_normal : t
Sourceval max_exact : t
Sourceval ulp : t

Units in the last place (relative precision).

Sourceval rep_of_bits : int64 -> bit_float
Sourceval bits_of_rep : bit_float -> int64
Sourceval to_bits : t -> int64
Sourceval of_bits : int64 -> t
Sourceval succ : t -> t
Sourceval pred : t -> t

Returns the float immediately following or preceeding the argument.

Sourceval succ_zero : t -> t
Sourceval pred_zero : t -> t

As succ and pred, but does not cross zero.

Sourceval of_string_up : string -> t
Sourceval of_string_down : string -> t

Conversion from string.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct