FLINT3.7.0-dev

_mpn_mod_nonunit

Synopsis#include <flint/mpn_mod.h>
int _mpn_mod_nonunit(nn_srcptr x, nn_srcptr g, slong gsize, gr_ctx_t ctx)source

Returns the status of a failed inversion of the residue x, given g = \gcd(x, n) in gsize limbs: GR_DOMAIN if x = 0 or the ring does not pretend to be a field; otherwise GR_UNABLE, after recording g as the zero divisor of the context if none was recorded and 1 < g < n.

Cite this page

The FLINT team, “_mpn_mod_nonunit (mpn_mod.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/mpn_mod/_mpn_mod_nonunit.html (generated 2026-10-20).