FLINT3.7.0-dev

padic_radix_is_zero, padic_radix_is_one, padic_radix_is_neg_one, padic_radix_equal

Synopsis#include <flint/padic_radix.h>
truth_t padic_radix_is_zero(const padic_radix_t x, gr_ctx_t ctx)source
truth_t padic_radix_is_one(const padic_radix_t x, gr_ctx_t ctx)source
truth_t padic_radix_is_neg_one(const padic_radix_t x, gr_ctx_t ctx)source
truth_t padic_radix_equal(const padic_radix_t x, const padic_radix_t y, gr_ctx_t ctx)source

Ball predicates: T_TRUE only for exact elements with the property, T_FALSE if no value in the ball has it (for equality, if the balls are disjoint), and T_UNKNOWN otherwise.

Guides#

Cite this page

The FLINT team, “padic_radix_is_zero, padic_radix_is_one, padic_radix_is_neg_one, padic_radix_equal (padic_radix.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/padic_radix/padic_radix_is_zero.html (generated 2026-10-20).