FLINT3.7.0-dev
/

vec1d_reduce_to_0n, vec4d_reduce_to_0n, vec8d_reduce_to_0n

Synopsis#include <flint/machine_vectors.h>
vec1d vec1d_reduce_to_0n(vec1d a, vec1d n, vec1d ninv)source
vec4d vec4d_reduce_to_0n(vec4d a, vec4d n, vec4d ninv)
vec8d vec8d_reduce_to_0n(vec8d a, vec8d n, vec8d ninv)

Returns a \bmod n in [0, n) for an integer |a| < 2^{53} and an integer n \ge 4, by reduce_to_pm1no followed by reduce_pm1no_to_0n. On AVX2 with the magic constant, the vec4d and vec8d versions return n for the input -0.0. AVX2 and NEON.

Cite this page

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