FLINT3.7.0-dev
/

decball_is_zero, decball_is_one, decball_is_neg_one, decball_equal, decball_is_integer, _decball_contains_zero, _decball_contains_decfloat, _decball_contains_fmpq, _decball_contains_fmpz, _decball_contains_si, _decball_contains, _decball_overlaps, _decball_is_positive, _decball_is_negative, _decball_is_nonnegative, _decball_is_nonpositive, _decball_contains_negative, _decball_contains_positive, _decball_contains_nonnegative, _decball_contains_nonpositive, decball_cmp, decball_cmpabs, decball_sgn

Synopsis#include <flint/decimal.h>
truth_t decball_is_zero(const decball_t x, gr_ctx_t ctx)source
truth_t decball_is_one(const decball_t x, gr_ctx_t ctx)source
truth_t decball_is_neg_one(const decball_t x, gr_ctx_t ctx)source
truth_t decball_equal(const decball_t x, const decball_t y, gr_ctx_t ctx)source
truth_t decball_is_integer(const decball_t x, gr_ctx_t ctx)source
int _decball_contains_zero(const decball_t x, gr_ctx_t ctx)source
int _decball_contains_decfloat(const decball_t x, const decfloat_t y, gr_ctx_t ctx)source
int _decball_contains_fmpq(const decball_t x, const fmpq_t y, gr_ctx_t ctx)source
int _decball_contains_fmpz(const decball_t x, const fmpz_t y, gr_ctx_t ctx)source
int _decball_contains_si(const decball_t x, slong y, gr_ctx_t ctx)source
int _decball_contains(const decball_t x, const decball_t y, gr_ctx_t ctx)source
int _decball_overlaps(const decball_t x, const decball_t y, gr_ctx_t ctx)source
int _decball_is_positive(const decball_t x, gr_ctx_t ctx)source
int _decball_is_negative(const decball_t x, gr_ctx_t ctx)source
int _decball_is_nonnegative(const decball_t x, gr_ctx_t ctx)source
int _decball_is_nonpositive(const decball_t x, gr_ctx_t ctx)source
int _decball_contains_negative(const decball_t x, gr_ctx_t ctx)source
int _decball_contains_positive(const decball_t x, gr_ctx_t ctx)source
int _decball_contains_nonnegative(const decball_t x, gr_ctx_t ctx)source
int _decball_contains_nonpositive(const decball_t x, gr_ctx_t ctx)source
int decball_cmp(int * res, const decball_t x, const decball_t y, gr_ctx_t ctx)source
int decball_cmpabs(int * res, const decball_t x, const decball_t y, gr_ctx_t ctx)source
int decball_sgn(decball_t res, const decball_t x, gr_ctx_t ctx)source

Predicates. Containment and overlap tests are decided exactly (using rational arithmetic in the rare cases where cheap bounds do not suffice), except that overlaps conservatively returns 1 and contains conservatively returns 0 when the exponents are too large for exact rational arithmetic.

Cite this page

The FLINT team, “decball_is_zero, decball_is_one, decball_is_neg_one, decball_equal, decball_is_integer, _decball_contains_zero, _decball_contains_decfloat, _decball_contains_fmpq, _decball_contains_fmpz, _decball_contains_si, _decball_contains, _decball_overlaps, _decball_is_positive, _decball_is_negative, _decball_is_nonnegative, _decball_is_nonpositive, _decball_contains_negative, _decball_contains_positive, _decball_contains_nonnegative, _decball_contains_nonpositive, decball_cmp, decball_cmpabs, decball_sgn (decimal.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/decimal/decball_is_zero.html (generated 2026-10-20).