FLINT3.7.0-dev

fmpz_mod_is_invertible

Synopsis#include <flint/fmpz_mod.h>
int fmpz_mod_is_invertible(const fmpz_t a, const fmpz_mod_ctx_t ctx)source

Returns 1 if gcd⁡(a,n)=1\gcd(a, n) = 1, that is, if aa is invertible modulo nn, and 0 otherwise. Works for any integer aa.

Guides#

Cite this page

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