FLINT3.7.0-dev

ca_mat_inv

Synopsis#include <flint/ca_mat.h>
truth_t ca_mat_inv(ca_mat_t X, const ca_mat_t A, ca_ctx_t ctx)source

For a square matrix A: if A is proved nonsingular, sets X = A^{-1} and returns T_TRUE; returns T_FALSE if A is proved singular and T_UNKNOWN otherwise. Matrices of size at most 4, and matrices whose entries do not all lie in \mathbb{Q} or one number field, are inverted through the adjugate matrix; the others by LU decomposition.

Guides#

Cite this page

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