FLINT3.7.0-dev

vec1d_half, vec4d_half

Synopsis#include <flint/machine_vectors.h>
vec1d vec1d_half(vec1d a)source
vec4d vec4d_half(vec4d a)source

Returns a/2, computed as a multiplication by 0.5. vec1d_half is available on AVX2 and NEON, vec4d_half on AVX2 only.

Cite this page

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