di_fast_log_nonnegative
Synopsis
#include <flint/double_interval.h>Returns an enclosure of for ; a nonpositive lower endpoint gives the lower endpoint . 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-11-02).
@misc{flint-doc-double-interval-di-fast-log-nonnegative,
author = {{The FLINT team}},
title = {{di\_fast\_log\_nonnegative (double\_interval.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/double_interval/di_fast_log_nonnegative.html},
note = {Generated 2026-11-02}
}