deccball_is_zero, deccball_is_one, deccball_is_neg_one, deccball_equal, deccball_is_integer, _deccball_contains_zero, _deccball_contains, _deccball_overlaps, _deccball_contains_deccfloat, deccball_cmp, deccball_cmpabs
Synopsis
#include <flint/decimal.h>truth_t deccball_is_zero(const deccball_t x, gr_ctx_t ctx)sourcetruth_t deccball_is_one(const deccball_t x, gr_ctx_t ctx)sourcetruth_t deccball_is_neg_one(const deccball_t x, gr_ctx_t ctx)sourcetruth_t deccball_equal(const deccball_t x, const deccball_t y, gr_ctx_t ctx)sourcetruth_t deccball_is_integer(const deccball_t x, gr_ctx_t ctx)sourceint _deccball_contains_zero(const deccball_t x, gr_ctx_t ctx)sourceint _deccball_contains(const deccball_t x, const deccball_t y, gr_ctx_t ctx)sourceint _deccball_overlaps(const deccball_t x, const deccball_t y, gr_ctx_t ctx)sourceint _deccball_contains_deccfloat(const deccball_t x, const deccfloat_t y, gr_ctx_t ctx)sourceint deccball_cmp(int * res, const deccball_t x, const deccball_t y, gr_ctx_t ctx)sourceint deccball_cmpabs(int * res, const deccball_t x, const deccball_t y, gr_ctx_t ctx)sourcePredicates, applied to both parts.
Cite this page
The FLINT team, “deccball_is_zero, deccball_is_one, deccball_is_neg_one, deccball_equal, deccball_is_integer, _deccball_contains_zero, _deccball_contains, _deccball_overlaps, _deccball_contains_deccfloat, deccball_cmp, deccball_cmpabs (decimal.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/decimal/deccball_is_zero.html (generated 2026-10-20).
@misc{flint-doc-decimal-deccball-is-zero,
author = {{The FLINT team}},
title = {{deccball\_is\_zero, deccball\_is\_one, deccball\_is\_neg\_one, deccball\_equal, deccball\_is\_integer, \_deccball\_contains\_zero, \_deccball\_contains, \_deccball\_overlaps, \_deccball\_contains\_deccfloat, deccball\_cmp, deccball\_cmpabs (decimal.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/decimal/deccball_is_zero.html},
note = {Generated 2026-10-20}
}