_flint_mpn_divisible, _flint_mpn_divisible_bdiv, _flint_mpn_divisible_small
Synopsis
#include <flint/mpn_extras.h>int _flint_mpn_divisible(mp_srcptr a, mp_size_t an, mp_srcptr b, mp_size_t bn)sourceint _flint_mpn_divisible_bdiv(mp_srcptr a, mp_size_t an, mp_srcptr b, mp_size_t bn, unsigned int v)sourceint _flint_mpn_divisible_small(mp_srcptr a, mp_size_t an, mp_srcptr b, mp_size_t bn, unsigned int v)sourceThe parts of flint_mpn_divisible, for b = 2^v b' with b' odd, given that 2^v divides a. The small version (b' of at most FLINT_MPN_DIVEXACT_SMALL_BN limbs, \mathit{bn} \ge 2, v < 64, a_{an-1} \ne 0) streams the shifted a through a Hensel remainder computation with b' and the running remainder held in registers; b' divides a if and only if the final remainder is zero.
Cite this page
The FLINT team, “_flint_mpn_divisible, _flint_mpn_divisible_bdiv, _flint_mpn_divisible_small (mpn_extras.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpn_extras/_flint_mpn_divisible.html (generated 2026-10-20).
@misc{flint-doc-mpn-extras-flint-mpn-divisible,
author = {{The FLINT team}},
title = {{\_flint\_mpn\_divisible, \_flint\_mpn\_divisible\_bdiv, \_flint\_mpn\_divisible\_small (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_divisible.html},
note = {Generated 2026-10-20}
}