FLINT3.7.0-dev
/

_fmpz_vec_scalar_divexact_fmpz, _fmpz_vec_scalar_divexact_si, _fmpz_vec_scalar_divexact_ui

Synopsis#include <flint/fmpz_vec.h>
void _fmpz_vec_scalar_divexact_fmpz(fmpz * vec1, const fmpz * vec2, slong len2, const fmpz_t x)source
void _fmpz_vec_scalar_divexact_si(fmpz * vec1, const fmpz * vec2, slong len2, slong c)source
void _fmpz_vec_scalar_divexact_ui(fmpz * vec1, const fmpz * vec2, slong len2, ulong c)source

Set vec1 to vec2 divided by the nonzero scalar, assuming that every division is exact (not checked).

For a multi-limb x and at least two entries as large as x, _fmpz_vec_scalar_divexact_fmpz computes a 2-adic inverse of the odd part of x once, only to the precision of the largest quotient, and uses it for all entries (flint_mpn_divexact_preinv), which saves the Newton iteration of each separate exact division (Exact division).

Cite this page

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