_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 analogue of _flint_mpn_mulhigh_known_low: sets to the exact limbs of , given that its low limbs are (zero above kl_len), using a windowed product with guard limbs. scratch must have room for limbs. Used by the Hensel division and -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-11-02).
@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-11-02}
}