_radix_mulhigh_known_low
Synopsis
#include <flint/radix.h>void _radix_mulhigh_known_low(nn_ptr out, nn_srcptr x, slong xn, nn_srcptr y, slong yn, nn_srcptr kl, slong kl_len, slong klo, slong khi, nn_ptr scratch, const radix_t radix)sourceThe radix B analogue of _flint_mpn_mulhigh_known_low: sets (\mathit{out}, \mathit{khi} - \mathit{klo}) to the exact limbs [\mathit{klo}, \mathit{khi}) of xy, given that its low \mathit{klo} limbs are (\mathit{kl}, \mathit{kl\_len}) (zero above kl_len), using a windowed product with guard limbs. scratch must have room for \mathit{khi} limbs. Used by the Hensel division and p-adic square roots.
Cite this page
The FLINT team, “_radix_mulhigh_known_low (radix.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/radix/_radix_mulhigh_known_low.html (generated 2026-10-20).
@misc{flint-doc-radix-radix-mulhigh-known-low,
author = {{The FLINT team}},
title = {{\_radix\_mulhigh\_known\_low (radix.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/radix/_radix_mulhigh_known_low.html},
note = {Generated 2026-10-20}
}