FLINT3.7.0-dev

arf_floor, arf_ceil, arf_nint

Synopsis#include <flint/arf.h>
void arf_floor(arf_t z, const arf_t x)source
void arf_ceil(arf_t z, const arf_t x)source
void arf_nint(arf_t z, const arf_t x)source

Set z to \lfloor x \rfloor, \lceil x \rceil and the nearest integer to x with ties to even. The result is exact and never needs more bits than x; round it with arf_set_round if needed.

Cite this page

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