FLINT3.7.0-dev

gr_ctx_is_approx_commutative_ring

Synopsis#include <flint/gr.h>
truth_t gr_ctx_is_approx_commutative_ring(gr_ctx_t ctx)source

Returns whether the structure \tilde R implemented by ctx is an approximate version of a commutative ring R: the axioms need only hold up to a small perturbation, |\tilde a - \tilde b| < \varepsilon in place of a = b. Polynomials with floating-point coefficients form an approximate commutative ring; 2 \times 2 matrices with floating-point entries do not. Every commutative ring is an approximate commutative ring.

Cite this page

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