d1b_is_exact, d2b_is_exact, d3b_is_exact, d4b_is_exact, d1b_is_finite, d2b_is_finite, d3b_is_finite, d4b_is_finite, d1b_is_zero, d2b_is_zero, d3b_is_zero, d4b_is_zero, d1b_contains_zero, d2b_contains_zero, d3b_contains_zero, d4b_contains_zero, d1b_contains_d, d2b_contains_d, d3b_contains_d, d4b_contains_d, d1b_contains, d2b_contains, d3b_contains, d4b_contains, d1b_overlaps, d2b_overlaps, d3b_overlaps, d4b_overlaps, d1b_equal, d2b_equal, d3b_equal, d4b_equal, d1b_cmp, d2b_cmp, d3b_cmp, d4b_cmp
#include <flint/dfloat.h>int d1b_is_exact(d1b_srcptr x)int d2b_is_exact(d2b_srcptr x)int d3b_is_exact(d3b_srcptr x)int d4b_is_exact(d4b_srcptr x)int d1b_is_finite(d1b_srcptr x)int d2b_is_finite(d2b_srcptr x)int d3b_is_finite(d3b_srcptr x)int d4b_is_finite(d4b_srcptr x)int d1b_is_zero(d1b_srcptr x)int d2b_is_zero(d2b_srcptr x)int d3b_is_zero(d3b_srcptr x)int d4b_is_zero(d4b_srcptr x)int d1b_contains_zero(d1b_srcptr x)int d2b_contains_zero(d2b_srcptr x)int d3b_contains_zero(d3b_srcptr x)int d4b_contains_zero(d4b_srcptr x)int d1b_contains_d(d1b_srcptr x, double c)int d2b_contains_d(d2b_srcptr x, double c)int d3b_contains_d(d3b_srcptr x, double c)int d4b_contains_d(d4b_srcptr x, double c)int d1b_contains(d1b_srcptr x, d1b_srcptr y)int d2b_contains(d2b_srcptr x, d2b_srcptr y)int d3b_contains(d3b_srcptr x, d3b_srcptr y)int d4b_contains(d4b_srcptr x, d4b_srcptr y)int d1b_overlaps(d1b_srcptr x, d1b_srcptr y)int d2b_overlaps(d2b_srcptr x, d2b_srcptr y)int d3b_overlaps(d3b_srcptr x, d3b_srcptr y)int d4b_overlaps(d4b_srcptr x, d4b_srcptr y)int d1b_equal(d1b_srcptr x, d1b_srcptr y)int d2b_equal(d2b_srcptr x, d2b_srcptr y)int d3b_equal(d3b_srcptr x, d3b_srcptr y)int d4b_equal(d4b_srcptr x, d4b_srcptr y)int d1b_cmp(int * res, d1b_srcptr x, d1b_srcptr y)int d2b_cmp(int * res, d2b_srcptr x, d2b_srcptr y)int d3b_cmp(int * res, d3b_srcptr x, d3b_srcptr y)int d4b_cmp(int * res, d4b_srcptr x, d4b_srcptr y)Ball predicates. is_exact is true for a finite ball of radius zero and is_finite for a ball that is not the whole real line. is_zero, equal, contains and contains_d answer 1 only when certain (is_zero and equal only for exact balls, contains_d only for a finite c); contains_zero and overlaps answer 0 only when certain. The whole real line contains and overlaps everything, and is contained only in the whole real line. dNb_cmp sets *res to -1, 0 or 1 and returns GR_SUCCESS when every pair of points of the balls compares the same way (or both are the same exact number), and sets *res to 0 and returns GR_UNABLE otherwise.
Guides#
The FLINT team, “d1b_is_exact, d2b_is_exact, d3b_is_exact, d4b_is_exact, d1b_is_finite, d2b_is_finite, d3b_is_finite, d4b_is_finite, d1b_is_zero, d2b_is_zero, d3b_is_zero, d4b_is_zero, d1b_contains_zero, d2b_contains_zero, d3b_contains_zero, d4b_contains_zero, d1b_contains_d, d2b_contains_d, d3b_contains_d, d4b_contains_d, d1b_contains, d2b_contains, d3b_contains, d4b_contains, d1b_overlaps, d2b_overlaps, d3b_overlaps, d4b_overlaps, d1b_equal, d2b_equal, d3b_equal, d4b_equal, d1b_cmp, d2b_cmp, d3b_cmp, d4b_cmp (dfloat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/dfloat/d1b_is_exact.html (generated 2026-10-20).
@misc{flint-doc-dfloat-d1b-is-exact,
author = {{The FLINT team}},
title = {{d1b\_is\_exact, d2b\_is\_exact, d3b\_is\_exact, d4b\_is\_exact, d1b\_is\_finite, d2b\_is\_finite, d3b\_is\_finite, d4b\_is\_finite, d1b\_is\_zero, d2b\_is\_zero, d3b\_is\_zero, d4b\_is\_zero, d1b\_contains\_zero, d2b\_contains\_zero, d3b\_contains\_zero, d4b\_contains\_zero, d1b\_contains\_d, d2b\_contains\_d, d3b\_contains\_d, d4b\_contains\_d, d1b\_contains, d2b\_contains, d3b\_contains, d4b\_contains, d1b\_overlaps, d2b\_overlaps, d3b\_overlaps, d4b\_overlaps, d1b\_equal, d2b\_equal, d3b\_equal, d4b\_equal, d1b\_cmp, d2b\_cmp, d3b\_cmp, d4b\_cmp (dfloat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/dfloat/d1b_is_exact.html},
note = {Generated 2026-10-20}
}