FLINT3.7.0-dev
/

d1_is_zero, d2_is_zero, d3_is_zero, d4_is_zero, d1_is_one, d2_is_one, d3_is_one, d4_is_one, d1_is_finite, d2_is_finite, d3_is_finite, d4_is_finite, d1_is_nan, d2_is_nan, d3_is_nan, d4_is_nan, d1_equal, d2_equal, d3_equal, d4_equal, d1_cmp, d2_cmp, d3_cmp, d4_cmp, d1_sgn, d2_sgn, d3_sgn, d4_sgn

Synopsis#include <flint/dfloat.h>
int d1_is_zero(d1_srcptr x)
int d2_is_zero(d2_srcptr x)
int d3_is_zero(d3_srcptr x)
int d4_is_zero(d4_srcptr x)
int d1_is_one(d1_srcptr x)
int d2_is_one(d2_srcptr x)
int d3_is_one(d3_srcptr x)
int d4_is_one(d4_srcptr x)
int d1_is_finite(d1_srcptr x)
int d2_is_finite(d2_srcptr x)
int d3_is_finite(d3_srcptr x)
int d4_is_finite(d4_srcptr x)
int d1_is_nan(d1_srcptr x)
int d2_is_nan(d2_srcptr x)
int d3_is_nan(d3_srcptr x)
int d4_is_nan(d4_srcptr x)
int d1_equal(d1_srcptr x, d1_srcptr y)
int d2_equal(d2_srcptr x, d2_srcptr y)
int d3_equal(d3_srcptr x, d3_srcptr y)
int d4_equal(d4_srcptr x, d4_srcptr y)
int d1_cmp(d1_srcptr x, d1_srcptr y)
int d2_cmp(d2_srcptr x, d2_srcptr y)
int d3_cmp(d3_srcptr x, d3_srcptr y)
int d4_cmp(d4_srcptr x, d4_srcptr y)
int d1_sgn(d1_srcptr x)
int d2_sgn(d2_srcptr x)
int d3_sgn(d3_srcptr x)
int d4_sgn(d4_srcptr x)

Predicates and comparisons of the exact values of plain expansions: dN_equal compares values, not components, and dN_cmp and dN_sgn return -1, 0 or 1. dN_is_finite is true if every component is finite.

Cite this page

The FLINT team, “d1_is_zero, d2_is_zero, d3_is_zero, d4_is_zero, d1_is_one, d2_is_one, d3_is_one, d4_is_one, d1_is_finite, d2_is_finite, d3_is_finite, d4_is_finite, d1_is_nan, d2_is_nan, d3_is_nan, d4_is_nan, d1_equal, d2_equal, d3_equal, d4_equal, d1_cmp, d2_cmp, d3_cmp, d4_cmp, d1_sgn, d2_sgn, d3_sgn, d4_sgn (dfloat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/dfloat/d1_is_zero.html (generated 2026-10-20).