flint_mpn_divexact_preinv
Synopsis
#include <flint/mpn_extras.h>void flint_mpn_divexact_preinv(mp_ptr q, mp_srcptr a, mp_size_t an, const flint_mpn_divexact_preinv_t pre)sourceExact division by the fixed divisor of pre: sets (q, \mathit{an} - \mathit{bn} + 1) to a/b, assuming that b divides a. Quotients of at most \mathit{bn}' + 1 limbs cost a single flint_mpn_mullow_n; longer ones use block Hensel division with the stored inverse (one low and one high product per block), except for divisors b' of at most 7 limbs, where the register-based code of flint_mpn_divexact is faster. Only the low limbs of a that can influence the quotient are read.
Cite this page
The FLINT team, “flint_mpn_divexact_preinv (mpn_extras.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpn_extras/flint_mpn_divexact_preinv.html (generated 2026-10-20).
@misc{flint-doc-mpn-extras-flint-mpn-divexact-preinv,
author = {{The FLINT team}},
title = {{flint\_mpn\_divexact\_preinv (mpn\_extras.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/mpn_extras/flint_mpn_divexact_preinv.html},
note = {Generated 2026-10-20}
}