gr_series_ctx_is_ring, gr_series_ctx_is_commutative_ring, gr_series_ctx_is_approx_commutative_ring, gr_series_ctx_is_integral_domain, gr_series_ctx_is_rational_vector_space, gr_series_ctx_is_real_vector_space, gr_series_ctx_is_complex_vector_space, gr_series_ctx_is_finite_characteristic
Synopsis
#include <flint/gr_series.h>Structural predicates, inherited from the base ring: R[[x]] is a ring, a commutative ring or an integral domain exactly when R is.
Cite this page
The FLINT team, “gr_series_ctx_is_ring, gr_series_ctx_is_commutative_ring, gr_series_ctx_is_approx_commutative_ring, gr_series_ctx_is_integral_domain, gr_series_ctx_is_rational_vector_space, gr_series_ctx_is_real_vector_space, gr_series_ctx_is_complex_vector_space, gr_series_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_ctx_is_ring.html (generated 2026-10-20).
@misc{flint-doc-gr-series-gr-series-ctx-is-ring,
author = {{The FLINT team}},
title = {{gr\_series\_ctx\_is\_ring, gr\_series\_ctx\_is\_commutative\_ring, gr\_series\_ctx\_is\_approx\_commutative\_ring, gr\_series\_ctx\_is\_integral\_domain, gr\_series\_ctx\_is\_rational\_vector\_space, gr\_series\_ctx\_is\_real\_vector\_space, gr\_series\_ctx\_is\_complex\_vector\_space, gr\_series\_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_ctx_is_ring.html},
note = {Generated 2026-10-20}
}