FLINT3.7.0-dev

arf_get_fmpz

Synopsis#include <flint/arf.h>
int arf_get_fmpz(fmpz_t z, const arf_t x, arf_rnd_t rnd)source

Sets z to x rounded to an integer in the direction rnd (ties to even for ARF_RND_NEAR), and returns 1 if x is not an integer, 0 otherwise.

An infinite or NaN x raises an exception. The integer is computed exactly, so a huge exponent can use all available memory or swap space before the allocation fails; check the size of x (for example with arf_cmpabs_2exp_si) before converting values of unknown magnitude.

Guides#

Cite this page

The FLINT team, “arf_get_fmpz (arf.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arf/arf_get_fmpz.html (generated 2026-10-20).