FLINT3.7.0-dev

radix_divmod_bn

Synopsis#include <flint/radix.h>
int radix_divmod_bn(nn_ptr q, nn_ptr rem, nn_srcptr a, slong an, nn_srcptr b, slong bn, slong n, const radix_t radix)source

Given (b,bn)(b, \mathit{bn}) invertible modulo BB, sets (q,n)(q, n) to the BB-adic (Hensel) quotient with qb≡a(modBn)qb \equiv a \pmod{B^n} and returns 1; returns 0 if bb is not invertible. If rem is not NULL, the remainder (a−qb)/Bn mod Bbn(a - qb)/B^n \bmod B^{bn} is written to (rem,bn)(\mathit{rem}, \mathit{bn}), so that a≡qb+Bnrem(modBn+bn)a \equiv qb + B^n \mathit{rem} \pmod{B^{n + bn}}.

Cite this page

The FLINT team, “radix_divmod_bn (radix.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/radix/radix_divmod_bn.html (generated 2026-11-02).