decball_neg, decball_abs, decball_add, decball_sub, decball_mul, decball_sqr, decball_div, decball_inv, decball_sqrt, decball_rsqrt, decball_add_ui, decball_add_si, decball_add_fmpz, decball_sub_ui, decball_sub_si, decball_sub_fmpz, decball_mul_ui, decball_mul_si, decball_mul_fmpz, decball_div_ui, decball_div_si, decball_div_fmpz, decball_mul_two, decball_mul_10exp_si, decball_mul_10exp_fmpz, decball_mul_2exp_si, decball_mul_2exp_fmpz, decball_floor, decball_ceil, decball_trunc, decball_nint, decball_pow_ui, decball_pow_si, decball_pow_fmpz
#include <flint/decimal.h>Ball arithmetic. The radius of a product is |x_m| y_r + |y_m| x_r + x_r y_r plus the rounding error of the midpoint, the radius of a quotient is (|x_m| y_r + |y_m| x_r) / (|y_m| (|y_m| - y_r)), and so on, all evaluated with upper-bound rounding. Square roots of balls containing negative numbers return GR_UNABLE (GR_DOMAIN if the whole ball is negative). Rounding to an integer returns an exact integer when the ball contains no integer boundary and otherwise [\operatorname{round}(m) \pm (r + 1)].
Guides#
The FLINT team, “decball_neg, decball_abs, decball_add, decball_sub, decball_mul, decball_sqr, decball_div, decball_inv, decball_sqrt, decball_rsqrt, decball_add_ui, decball_add_si, decball_add_fmpz, decball_sub_ui, decball_sub_si, decball_sub_fmpz, decball_mul_ui, decball_mul_si, decball_mul_fmpz, decball_div_ui, decball_div_si, decball_div_fmpz, decball_mul_two, decball_mul_10exp_si, decball_mul_10exp_fmpz, decball_mul_2exp_si, decball_mul_2exp_fmpz, decball_floor, decball_ceil, decball_trunc, decball_nint, decball_pow_ui, decball_pow_si, decball_pow_fmpz (decimal.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/decimal/decball_neg.html (generated 2026-10-20).
@misc{flint-doc-decimal-decball-neg,
author = {{The FLINT team}},
title = {{decball\_neg, decball\_abs, decball\_add, decball\_sub, decball\_mul, decball\_sqr, decball\_div, decball\_inv, decball\_sqrt, decball\_rsqrt, decball\_add\_ui, decball\_add\_si, decball\_add\_fmpz, decball\_sub\_ui, decball\_sub\_si, decball\_sub\_fmpz, decball\_mul\_ui, decball\_mul\_si, decball\_mul\_fmpz, decball\_div\_ui, decball\_div\_si, decball\_div\_fmpz, decball\_mul\_two, decball\_mul\_10exp\_si, decball\_mul\_10exp\_fmpz, decball\_mul\_2exp\_si, decball\_mul\_2exp\_fmpz, decball\_floor, decball\_ceil, decball\_trunc, decball\_nint, decball\_pow\_ui, decball\_pow\_si, decball\_pow\_fmpz (decimal.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/decimal/decball_neg.html},
note = {Generated 2026-10-20}
}