di_interval a b

Returns the interval \([a, b]\). We require that the endpoints are ordered and not NaN.

arb_get_di x

Returns the ball x converted to a double-precision interval.

arb_set_di res x prec

Sets the ball res to the double-precision interval x, rounded to prec bits.

di_print x

Prints x to standard output. This simply prints decimal representations of the floating-point endpoints; the decimals are not guaranteed to be rounded outward.

d_randtest2 state

Returns a random non-NaN double with any exponent. The value can be infinite or subnormal.

di_randtest state

Returns an interval with random endpoints.

di_neg x

Returns the exact negation of x.

di_fast_add x y

di_fast_sub x y

di_fast_mul x y

di_fast_div x y

Returns the sum, difference, product or quotient of x and y. Division by zero is currently defined to return \([-\infty, +\infty]\).

di_fast_sqr x

Returns the square of x. The output is clamped to be nonnegative.

di_fast_add_d x y

di_fast_mul_d x y

di_fast_div_d x y Arithmetic with an exact double operand.

di_fast_log_nonnegative x

Returns an enclosure of \(\log(x)\). The lower endpoint of x is rounded up to 0 if it is negative.

di_fast_mid x

Returns an enclosure of the midpoint of x.

di_fast_ubound_radius x

Returns an upper bound for the radius of x.