FLINT3.7.0-dev

_decimal_ctx_is_vector_space, _decimal_ctx_set_real_prec, _decimal_ctx_get_real_prec

Synopsis#include <flint/decimal.h>
truth_t _decimal_ctx_is_vector_space(gr_ctx_t ctx)source
int _decimal_ctx_set_real_prec(gr_ctx_t ctx, slong prec_bits)source
int _decimal_ctx_get_real_prec(slong * res, gr_ctx_t ctx)source

The gr methods ctx_is_vector_space (true for rounding contexts, which behave as real vector spaces, and false for the exact ring) and ctx_set_real_prec, ctx_get_real_prec, with the conversion between bits and digits described under decimal_ctx_set_prec.

Cite this page

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