# mathlib3documentation

core / init.meta.float

meta constant native.float  :
Instances for native.float

The base. Either 2 or 10.

The length of the mantissa.

The maximum exponent.

The minimum exponent. = 1 - emax

Returns the difference between 1.0 and the next representable value of the given floating-point type. Reference: https://en.cppreference.com/w/cpp/types/numeric_limits/epsilon

returns the maximum rounding error

Positive infinity.

meta constant native.float.qNaN  :

Quiet NaN.

meta constant native.float.sNaN  :

Signalling NaN.

meta constant native.float.is_infinite  :

Returns true when the value is positive or negative infinity.

meta constant native.float.is_finite  :
meta constant native.float.is_nan  :

Returns true when the value is qNaN or sNaN

meta constant native.float.sign  :

The sign s of the float. tt if negative.

meta constant native.float.exponent  :

The exponent e of the float in the base given by radix. emin ≤ e ≤ emax. Returns none if the number is not finite.

meta constant native.float.frexp  :

Decompose the number f in to (s,e) where 0.5 ≤ s < 1.0 and emin ≤ e ≤ emax such that f = s * 2 ^ e.

meta constant native.float.modf  :

Decompose in to integer fst and fractional snd parts.

mantissa f returns a number s where 0.5 ≤ s < 1.0 such that there exists an integer e such that f = s * 2 ^ e

@[protected, instance]
meta constant native.float.sub  :
@[protected, instance]
meta constant native.float.neg  :
@[protected, instance]
meta constant native.float.mul  :
@[protected, instance]
meta constant native.float.div  :
@[protected, instance]
meta constant native.float.fmod  :

remainder of the floating point division operation.

meta constant native.float.remainder  :

signed remainder of the division operation.

meta constant native.float.max  :
meta constant native.float.min  :
meta constant native.float.pow  :
@[protected, instance]
meta constant native.float.sqrt  :

Square root.

meta constant native.float.cbrt  :

Cube root.

meta constant native.float.hypot  :

Computes sqrt(x^2 + y^2).

meta constant native.float.exp  :

Exponential function.

meta constant native.float.exp2  :

2 raised to the given power.

meta constant native.float.log  :

Natural logarithm.

meta constant native.float.log2  :
meta constant native.float.log10  :
meta constant native.float.pi  :
meta constant native.float.sin  :
meta constant native.float.cos  :
meta constant native.float.tan  :
meta constant native.float.asin  :
meta constant native.float.acos  :
meta constant native.float.atan  :
meta constant native.float.atan2  :

atan2 y x finds the angle anticlockwise from the x-axis to the point [x,y].

meta constant native.float.sinh  :
meta constant native.float.cosh  :
meta constant native.float.tanh  :
meta constant native.float.asinh  :
meta constant native.float.acosh  :
meta constant native.float.atanh  :
meta constant native.float.abs  :
meta constant native.float.ceil  :

Nearest integer not less than the given value. Returns 0 if the input is not finite.

meta constant native.float.floor  :

Nearest integer not greater than the given value. Returns 0 if the input is not finite.

meta constant native.float.trunc  :

Nearest integer not greater in magnitude than the given value. Returns 0 if the input is not finite.

meta constant native.float.round  :

Round to the nearest integer, rounding away from zero in halfway cases. Returns 0 if the input is not finite.

meta constant native.float.lt  :
@[protected, instance]
@[protected, instance]
meta constant native.float.le  :
@[protected, instance]
@[protected, instance]
@[instance]
meta constant native.float.dec_eq  :
meta constant native.float.of_nat  :
meta constant native.float.of_int  :
@[protected, instance]
@[protected, instance]
@[protected]
@[protected]
@[protected, instance]
@[protected, instance]
meta constant native.float.to_repr  :
@[protected, instance]
@[protected, instance]
@[protected, instance]
meta constant native.float.of_string  :
@[protected, instance]