FLINT3.7.0-dev
/

_nf_elem_invertible_check

Synopsis#include <flint/nf_elem.h>
int _nf_elem_invertible_check(nf_elem_t a, const nf_t nf)source

Returns whether a is invertible modulo the defining polynomial, that is, whether \gcd(a, f) = 1 in \mathbf{Q}[x]. This matters only when f is reducible, which is not excluded by nf_init; the function is meant for test code.

Guides#

Cite this page

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