FLINT3.7.0-dev

arb_mat_spd_solve

Synopsis#include <flint/arb_mat.h>
int arb_mat_spd_solve(arb_mat_t X, const arb_mat_t A, const arb_mat_t B, slong prec)source

Solves AX = B for a symmetric positive definite matrix A using arb_mat_cho. Returns nonzero if the decomposition succeeds, which proves that A is positive definite and that X contains the exact solution, and zero (if B has at least one column) otherwise, with X undefined.

Guides#

Cite this page

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