FLINT3.7.0-dev

vec4n_mul

Synopsis#include <flint/machine_vectors.h>
vec4n vec4n_mul(vec4n u, vec4n v)source

Returns the 64-bit products of the low 32 bits of each lane, (u_i \bmod 2^{32})(v_i \bmod 2^{32}). AVX2 only.

Cite this page

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