arf_add, arf_add_si, arf_add_ui, arf_add_fmpz
Synopsis
#include <flint/arf.h>int arf_add(arf_ptr z, arf_srcptr x, arf_srcptr y, slong prec, arf_rnd_t rnd)sourceSet z to x + y, correctly rounded.
The cost depends on the precision and not on the distance between the exponents: when y is far below the last bit of x at precision prec, only its sign and position matter for the rounding.
Guides#
Cite this page
The FLINT team, “arf_add, arf_add_si, arf_add_ui, arf_add_fmpz (arf.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arf/arf_add.html (generated 2026-10-20).
@misc{flint-doc-arf-arf-add,
author = {{The FLINT team}},
title = {{arf\_add, arf\_add\_si, arf\_add\_ui, arf\_add\_fmpz (arf.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/arf/arf_add.html},
note = {Generated 2026-10-20}
}