FLINT3.7.0-dev
/

gr_series_is_zero, gr_series_is_one, gr_series_equal, gr_series_coeff_is_zero

Synopsis#include <flint/gr_series.h>
truth_t gr_series_is_zero(const gr_series_t x, gr_ctx_t ctx)source
truth_t gr_series_is_one(const gr_series_t x, gr_ctx_t ctx)source
truth_t gr_series_equal(const gr_series_t x, const gr_series_t y, gr_ctx_t ctx)source
truth_t gr_series_coeff_is_zero(const gr_series_t x, slong i, gr_ctx_t ctx)source

Predicates. A known coefficient that differs decides T_FALSE, but a series with an error term can never be shown to be zero, one or equal to another series: the answer is then T_UNKNOWN. A coefficient of order beyond the error term is T_UNKNOWN.

Cite this page

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