FLINT3.7.0-dev

_arb_mat_cholesky_banachiewicz, arb_mat_cho

Synopsis#include <flint/arb_mat.h>
int _arb_mat_cholesky_banachiewicz(arb_mat_t A, slong prec)source
int arb_mat_cho(arb_mat_t L, const arb_mat_t A, slong prec)source

Compute the Cholesky decomposition A = LL^T with L lower triangular, by the Cholesky–Banachiewicz algorithm. Return nonzero if all pivots are certainly positive, which proves that every symmetric matrix represented by the lower triangle of A is positive definite; return zero if A is not positive definite or the precision is insufficient. The underscore version works in place and leaves the strict upper triangle undefined.

Guides#

Cite this page

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