FLINT3.7.0-dev

padic_mat_is_reduced

Synopsis#include <flint/padic_mat.h>
int padic_mat_is_reduced(const padic_mat_t A, const padic_ctx_t ctx)source

Returns whether AA is reduced: empty, or zero with v=0v = 0, or canonical with v<Nv < N and all entries less than pN−vp^{N - v}. The entries are not checked to be nonnegative.

Cite this page

The FLINT team, “padic_mat_is_reduced (padic_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/padic_mat/padic_mat_is_reduced.html (generated 2026-11-02).