gr_series_mod_ctx_is_ring, gr_series_mod_ctx_is_commutative_ring, gr_series_mod_ctx_is_integral_domain, gr_series_mod_ctx_is_field, gr_series_mod_ctx_is_rational_vector_space, gr_series_mod_ctx_is_real_vector_space, gr_series_mod_ctx_is_complex_vector_space, gr_series_mod_ctx_is_finite_characteristic
Synopsis
#include <flint/gr_series.h>Structural predicates. The ring inherits the properties of the base ring, except that it is an integral domain or a field only for n = 1 (when it is isomorphic to R), and that for n = 0 it is the zero ring.
Cite this page
The FLINT team, “gr_series_mod_ctx_is_ring, gr_series_mod_ctx_is_commutative_ring, gr_series_mod_ctx_is_integral_domain, gr_series_mod_ctx_is_field, gr_series_mod_ctx_is_rational_vector_space, gr_series_mod_ctx_is_real_vector_space, gr_series_mod_ctx_is_complex_vector_space, gr_series_mod_ctx_is_finite_characteristic (gr_series.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/gr_series/gr_series_mod_ctx_is_ring.html (generated 2026-10-20).
@misc{flint-doc-gr-series-gr-series-mod-ctx-is-ring,
author = {{The FLINT team}},
title = {{gr\_series\_mod\_ctx\_is\_ring, gr\_series\_mod\_ctx\_is\_commutative\_ring, gr\_series\_mod\_ctx\_is\_integral\_domain, gr\_series\_mod\_ctx\_is\_field, gr\_series\_mod\_ctx\_is\_rational\_vector\_space, gr\_series\_mod\_ctx\_is\_real\_vector\_space, gr\_series\_mod\_ctx\_is\_complex\_vector\_space, gr\_series\_mod\_ctx\_is\_finite\_characteristic (gr\_series.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/gr_series/gr_series_mod_ctx_is_ring.html},
note = {Generated 2026-10-20}
}