gr_ctx_is_ring, gr_ctx_is_commutative_ring, gr_ctx_is_integral_domain, gr_ctx_is_field, gr_ctx_is_unique_factorization_domain, gr_ctx_is_finite, gr_ctx_is_finite_characteristic, gr_ctx_is_algebraically_closed, gr_ctx_is_ordered_ring, gr_ctx_is_zero_ring, gr_ctx_is_rational_vector_space, gr_ctx_is_real_vector_space, gr_ctx_is_complex_vector_space, gr_ctx_is_multiplicative_group
#include <flint/gr.h>Return whether the structure has the mathematical property. Rings with inexact elements answer for the ring they represent, so real balls form a field. Floating-point contexts are not rings and return T_FALSE for the ring properties.
Guides#
The FLINT team, “gr_ctx_is_ring, gr_ctx_is_commutative_ring, gr_ctx_is_integral_domain, gr_ctx_is_field, gr_ctx_is_unique_factorization_domain, gr_ctx_is_finite, gr_ctx_is_finite_characteristic, gr_ctx_is_algebraically_closed, gr_ctx_is_ordered_ring, gr_ctx_is_zero_ring, gr_ctx_is_rational_vector_space, gr_ctx_is_real_vector_space, gr_ctx_is_complex_vector_space, gr_ctx_is_multiplicative_group (gr.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr/gr_ctx_is_ring.html (generated 2026-10-20).
@misc{flint-doc-gr-gr-ctx-is-ring,
author = {{The FLINT team}},
title = {{gr\_ctx\_is\_ring, gr\_ctx\_is\_commutative\_ring, gr\_ctx\_is\_integral\_domain, gr\_ctx\_is\_field, gr\_ctx\_is\_unique\_factorization\_domain, gr\_ctx\_is\_finite, gr\_ctx\_is\_finite\_characteristic, gr\_ctx\_is\_algebraically\_closed, gr\_ctx\_is\_ordered\_ring, gr\_ctx\_is\_zero\_ring, gr\_ctx\_is\_rational\_vector\_space, gr\_ctx\_is\_real\_vector\_space, gr\_ctx\_is\_complex\_vector\_space, gr\_ctx\_is\_multiplicative\_group (gr.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/gr/gr_ctx_is_ring.html},
note = {Generated 2026-10-20}
}