FLINT3.7.0-dev
/

ca_mat_nonsingular_lu, ca_mat_nonsingular_fflu

Synopsis#include <flint/ca_mat.h>
truth_t ca_mat_nonsingular_lu(slong * P, ca_mat_t LU, const ca_mat_t A, ca_ctx_t ctx)source
truth_t ca_mat_nonsingular_fflu(slong * P, ca_mat_t LU, ca_t den, const ca_mat_t A, ca_ctx_t ctx)source

For a square matrix A: returns T_TRUE and an LU (or fraction-free LU) decomposition A = PLU if A is proved nonsingular, T_FALSE if it is proved singular, and T_UNKNOWN otherwise. Unless the result is T_TRUE, the outputs are meaningless.

Cite this page

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