FLINT3.7.0-dev

DI_CHECK

Synopsis#include <flint/double_interval.h>
DI_CHECK(x)source

Throws an exception unless x.a <= x.b (in particular, if an endpoint is NaN).

Cite this page

The FLINT team, “DI_CHECK (double_interval.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/double_interval/DI_CHECK.html (generated 2026-10-20).