FLINT3.7.0-dev

arb_floor, arb_ceil, arb_trunc, arb_nint

Synopsis#include <flint/arb.h>
void arb_floor(arb_t z, const arb_t x, slong prec)source
void arb_ceil(arb_t z, const arb_t x, slong prec)source
void arb_trunc(arb_t res, const arb_t x, slong prec)source
void arb_nint(arb_t res, const arb_t x, slong prec)source

Set the output to a ball containing ⌊t⌋\lfloor t \rfloor, ⌈t⌉\lceil t \rceil, trunc⁡(t)\operatorname{trunc}(t), respectively the nearest integer to tt (ties to even), for all tt in x, with the midpoint rounded to prec bits.

Cite this page

The FLINT team, “arb_floor, arb_ceil, arb_trunc, arb_nint (arb.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arb/arb_floor.html (generated 2026-11-02).