FLINT3.7.0-dev

di_fast_log_nonnegative

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

Returns an enclosure of \log x for x \subseteq [0, +\infty]; a nonpositive lower endpoint gives the lower endpoint -\infty. The endpoints are computed with mag_d_log_lower_bound and mag_d_log_upper_bound.

Cite this page

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