d1c_is_zero, d2c_is_zero, d3c_is_zero, d4c_is_zero, d1c_is_one, d2c_is_one, d3c_is_one, d4c_is_one, d1c_is_real, d2c_is_real, d3c_is_real, d4c_is_real, d1c_is_finite, d2c_is_finite, d3c_is_finite, d4c_is_finite, d1c_equal, d2c_equal, d3c_equal, d4c_equal, d1cb_is_zero, d2cb_is_zero, d3cb_is_zero, d4cb_is_zero, d1cb_is_one, d2cb_is_one, d3cb_is_one, d4cb_is_one, d1cb_is_real, d2cb_is_real, d3cb_is_real, d4cb_is_real, d1cb_is_exact, d2cb_is_exact, d3cb_is_exact, d4cb_is_exact, d1cb_is_finite, d2cb_is_finite, d3cb_is_finite, d4cb_is_finite, d1cb_contains_zero, d2cb_contains_zero, d3cb_contains_zero, d4cb_contains_zero, d1cb_contains, d2cb_contains, d3cb_contains, d4cb_contains, d1cb_overlaps, d2cb_overlaps, d3cb_overlaps, d4cb_overlaps, d1cb_equal, d2cb_equal, d3cb_equal, d4cb_equal
#include <flint/dfloat.h>int d1c_is_zero(d1c_srcptr x)int d2c_is_zero(d2c_srcptr x)int d3c_is_zero(d3c_srcptr x)int d4c_is_zero(d4c_srcptr x)int d1c_is_one(d1c_srcptr x)int d2c_is_one(d2c_srcptr x)int d3c_is_one(d3c_srcptr x)int d4c_is_one(d4c_srcptr x)int d1c_is_real(d1c_srcptr x)int d2c_is_real(d2c_srcptr x)int d3c_is_real(d3c_srcptr x)int d4c_is_real(d4c_srcptr x)int d1c_is_finite(d1c_srcptr x)int d2c_is_finite(d2c_srcptr x)int d3c_is_finite(d3c_srcptr x)int d4c_is_finite(d4c_srcptr x)int d1c_equal(d1c_srcptr x, d1c_srcptr y)int d2c_equal(d2c_srcptr x, d2c_srcptr y)int d3c_equal(d3c_srcptr x, d3c_srcptr y)int d4c_equal(d4c_srcptr x, d4c_srcptr y)int d1cb_is_zero(d1cb_srcptr x)int d2cb_is_zero(d2cb_srcptr x)int d3cb_is_zero(d3cb_srcptr x)int d4cb_is_zero(d4cb_srcptr x)int d1cb_is_one(d1cb_srcptr x)int d2cb_is_one(d2cb_srcptr x)int d3cb_is_one(d3cb_srcptr x)int d4cb_is_one(d4cb_srcptr x)int d1cb_is_real(d1cb_srcptr x)int d2cb_is_real(d2cb_srcptr x)int d3cb_is_real(d3cb_srcptr x)int d4cb_is_real(d4cb_srcptr x)int d1cb_is_exact(d1cb_srcptr x)int d2cb_is_exact(d2cb_srcptr x)int d3cb_is_exact(d3cb_srcptr x)int d4cb_is_exact(d4cb_srcptr x)int d1cb_is_finite(d1cb_srcptr x)int d2cb_is_finite(d2cb_srcptr x)int d3cb_is_finite(d3cb_srcptr x)int d4cb_is_finite(d4cb_srcptr x)int d1cb_contains_zero(d1cb_srcptr x)int d2cb_contains_zero(d2cb_srcptr x)int d3cb_contains_zero(d3cb_srcptr x)int d4cb_contains_zero(d4cb_srcptr x)int d1cb_contains(d1cb_srcptr x, d1cb_srcptr y)int d2cb_contains(d2cb_srcptr x, d2cb_srcptr y)int d3cb_contains(d3cb_srcptr x, d3cb_srcptr y)int d4cb_contains(d4cb_srcptr x, d4cb_srcptr y)int d1cb_overlaps(d1cb_srcptr x, d1cb_srcptr y)int d2cb_overlaps(d2cb_srcptr x, d2cb_srcptr y)int d3cb_overlaps(d3cb_srcptr x, d3cb_srcptr y)int d4cb_overlaps(d4cb_srcptr x, d4cb_srcptr y)int d1cb_equal(d1cb_srcptr x, d1cb_srcptr y)int d2cb_equal(d2cb_srcptr x, d2cb_srcptr y)int d3cb_equal(d3cb_srcptr x, d3cb_srcptr y)int d4cb_equal(d4cb_srcptr x, d4cb_srcptr y)Predicates, combining those of the parts; is_real means that the imaginary part is exactly zero. For balls, answers of 1 are certain except for contains_zero and overlaps, whose answers of 0 are.
The FLINT team, “d1c_is_zero, d2c_is_zero, d3c_is_zero, d4c_is_zero, d1c_is_one, d2c_is_one, d3c_is_one, d4c_is_one, d1c_is_real, d2c_is_real, d3c_is_real, d4c_is_real, d1c_is_finite, d2c_is_finite, d3c_is_finite, d4c_is_finite, d1c_equal, d2c_equal, d3c_equal, d4c_equal, d1cb_is_zero, d2cb_is_zero, d3cb_is_zero, d4cb_is_zero, d1cb_is_one, d2cb_is_one, d3cb_is_one, d4cb_is_one, d1cb_is_real, d2cb_is_real, d3cb_is_real, d4cb_is_real, d1cb_is_exact, d2cb_is_exact, d3cb_is_exact, d4cb_is_exact, d1cb_is_finite, d2cb_is_finite, d3cb_is_finite, d4cb_is_finite, d1cb_contains_zero, d2cb_contains_zero, d3cb_contains_zero, d4cb_contains_zero, d1cb_contains, d2cb_contains, d3cb_contains, d4cb_contains, d1cb_overlaps, d2cb_overlaps, d3cb_overlaps, d4cb_overlaps, d1cb_equal, d2cb_equal, d3cb_equal, d4cb_equal (dfloat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/dfloat/d1c_is_zero.html (generated 2026-10-20).
@misc{flint-doc-dfloat-d1c-is-zero,
author = {{The FLINT team}},
title = {{d1c\_is\_zero, d2c\_is\_zero, d3c\_is\_zero, d4c\_is\_zero, d1c\_is\_one, d2c\_is\_one, d3c\_is\_one, d4c\_is\_one, d1c\_is\_real, d2c\_is\_real, d3c\_is\_real, d4c\_is\_real, d1c\_is\_finite, d2c\_is\_finite, d3c\_is\_finite, d4c\_is\_finite, d1c\_equal, d2c\_equal, d3c\_equal, d4c\_equal, d1cb\_is\_zero, d2cb\_is\_zero, d3cb\_is\_zero, d4cb\_is\_zero, d1cb\_is\_one, d2cb\_is\_one, d3cb\_is\_one, d4cb\_is\_one, d1cb\_is\_real, d2cb\_is\_real, d3cb\_is\_real, d4cb\_is\_real, d1cb\_is\_exact, d2cb\_is\_exact, d3cb\_is\_exact, d4cb\_is\_exact, d1cb\_is\_finite, d2cb\_is\_finite, d3cb\_is\_finite, d4cb\_is\_finite, d1cb\_contains\_zero, d2cb\_contains\_zero, d3cb\_contains\_zero, d4cb\_contains\_zero, d1cb\_contains, d2cb\_contains, d3cb\_contains, d4cb\_contains, d1cb\_overlaps, d2cb\_overlaps, d3cb\_overlaps, d4cb\_overlaps, d1cb\_equal, d2cb\_equal, d3cb\_equal, d4cb\_equal (dfloat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/dfloat/d1c_is_zero.html},
note = {Generated 2026-10-20}
}