acb_mat_solve, acb_mat_solve_lu, acb_mat_solve_precond
#include <flint/acb_mat.h>Solve AX = B for a square matrix A and X, B with m columns. Return nonzero if A is proved invertible, in which case X contains the exact solution for every pair of matrices in the balls A and B; return zero (with X undefined) if m > 0 and this could not be proved. The lu version uses Gaussian elimination in ball arithmetic, the precond version preconditions with an approximate inverse [HS1967], and the default uses the lu version if n \le 4 or \mathit{prec} > 10n and the precond version otherwise. See Solving linear systems with ball matrices.
References#
- [HS1967] E. Hansen and R. Smith, "Interval Arithmetic in Matrix Computations, Part II", SIAM Journal of Numerical Analysis, 4(1):1-9 (1967). https://doi.org/10.1137/0704001
The FLINT team, “acb_mat_solve, acb_mat_solve_lu, acb_mat_solve_precond (acb_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_mat/acb_mat_solve.html (generated 2026-10-20).
@misc{flint-doc-acb-mat-acb-mat-solve,
author = {{The FLINT team}},
title = {{acb\_mat\_solve, acb\_mat\_solve\_lu, acb\_mat\_solve\_precond (acb\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/acb_mat/acb_mat_solve.html},
note = {Generated 2026-10-20}
}