Enclosure, Approximation, Guess, EqualNearestDecimal
Synopsis
#include <flint/fexpr_builtin.h>EnclosureApproximationGuessEqualNearestDecimalNotation for numerical information: a value enclosed by x, Enclosure(x) (\left(\in x \right)); an approximation Approximation(x, n); a conjectured value Guess(x) (\left(?\; x \right)); and the statement that x rounds to a given decimal string with a given number of digits, EqualNearestDecimal(x, "1.25", 3) (x = \text{``1.25''} \;\, {\scriptstyle (\text{nearest } 3 \text{ digits})}).
Cite this page
The FLINT team, “Enclosure, Approximation, Guess, EqualNearestDecimal (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/Enclosure.html (generated 2026-10-20).
@misc{flint-doc-fexpr-builtin-Enclosure,
author = {{The FLINT team}},
title = {{Enclosure, Approximation, Guess, EqualNearestDecimal (fexpr\_builtin.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fexpr_builtin/Enclosure.html},
note = {Generated 2026-10-20}
}