deccball_struct, deccball_t
#include <flint/decimal.h>deccball_structdeccball_tA complex ball stored as a pair of real balls (fields re and im of type decball_struct), representing the rectangle \{ a + bi : |a - m_r| \le r_r, |b - m_i| \le r_i \} as in acb. Operations produce balls containing the exact result for every point of the input balls, with midpoints computed to the context precision in the context rounding mode (the same mode for both parts).
The ring is presented to the generics interface as an inexact, algebraically closed field: predicates return T_UNKNOWN when the balls do not decide the answer, cmp is only defined for real balls, and division by a ball containing zero returns GR_UNABLE.
Guides#
The FLINT team, “deccball_struct, deccball_t (decimal.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/decimal/deccball_struct.html (generated 2026-10-20).
@misc{flint-doc-decimal-deccball-struct,
author = {{The FLINT team}},
title = {{deccball\_struct, deccball\_t (decimal.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/decimal/deccball_struct.html},
note = {Generated 2026-10-20}
}