mp_real_set_trunc
Synopsis
#include <flint/mp_real.h>The dropped tail and the old radius are each below one ulp of the new last limb, so the new radius is [\mathrm{tail} \ne 0] + [\mathrm{radius} \ne 0] ulps. The result is exact if nothing nonzero is dropped from an exact input.
Cite this page
The FLINT team, “mp_real_set_trunc (mp_real.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mp_real/mp_real_set_trunc.html (generated 2026-10-20).
@misc{flint-doc-mp-real-mp-real-set-trunc,
author = {{The FLINT team}},
title = {{mp\_real\_set\_trunc (mp\_real.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mp_real/mp_real_set_trunc.html},
note = {Generated 2026-10-20}
}