FLINT3.7.0-dev

fq_is_invertible_f

Synopsis#include <flint/fq.h>
int fq_is_invertible_f(fq_t f, const fq_t op, const fq_ctx_t ctx)

Returns whether op is invertible modulo the defining polynomial, using fq_gcdinv. If it is not, f is set to a nontrivial factor of the modulus (the monic GCD of the representative of op and the modulus); this can only happen if the modulus is reducible. Otherwise f is set to one. If op is zero, the function returns 0 and sets f to zero.

Cite this page

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