FLINT3.7.0-dev

vec1d_floor, vec2d_floor, vec4d_floor, vec8d_floor, vec8dz_floor, vec1f_floor, vec4f_floor, vec8f_floor, vec16f_floor, vec16fz_floor

Synopsis#include <flint/machine_vectors.h>
vec1d vec1d_floor(vec1d a)source
vec2d vec2d_floor(vec2d a)source
vec4d vec4d_floor(vec4d a)source
vec8d vec8d_floor(vec8d a)
vec8dz vec8dz_floor(vec8dz a)source
vec1f vec1f_floor(vec1f a)source
vec4f vec4f_floor(vec4f a)source
vec8f vec8f_floor(vec8f a)source
vec16f vec16f_floor(vec16f a)
vec16fz vec16fz_floor(vec16fz a)source

Returns \lfloor a \rfloor. vec8d_floor and vec16f_floor are available on the generic backends only, the z versions with AVX-512 only, and the others on all backends (vec2d_floor also on AVX2).

Guides#

Cite this page

The FLINT team, “vec1d_floor, vec2d_floor, vec4d_floor, vec8d_floor, vec8dz_floor, vec1f_floor, vec4f_floor, vec8f_floor, vec16f_floor, vec16fz_floor (machine_vectors.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/machine_vectors/vec1d_floor.html (generated 2026-10-20).