di_fast_add, di_fast_sub, di_fast_mul, di_fast_div
Synopsis
#include <flint/double_interval.h>Return an enclosure of the sum, difference, product or quotient of x and y. The product and quotient select the endpoint products by the signs of the operands; a product of the form 0 \cdot \infty gives [-\infty, +\infty], and so does division by an interval containing zero.
Cite this page
The FLINT team, “di_fast_add, di_fast_sub, di_fast_mul, di_fast_div (double_interval.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/double_interval/di_fast_add.html (generated 2026-10-20).
@misc{flint-doc-double-interval-di-fast-add,
author = {{The FLINT team}},
title = {{di\_fast\_add, di\_fast\_sub, di\_fast\_mul, di\_fast\_div (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_add.html},
note = {Generated 2026-10-20}
}