acb_mat_det_lu, acb_mat_det_precond, acb_mat_det
#include <flint/acb_mat.h>Set det to an enclosure of the determinant of the square matrix A. The lu version uses Gaussian elimination and bounds the remaining submatrix by Hadamard's inequality when no more pivots can be found; the precond version multiplies A by approximate inverses of the factors of an approximate LU decomposition and encloses the determinant of the result, which is close to the identity [Rum2010]. The default uses direct formulas for n \le 3 and triangular matrices, the lu version if n \le 14 or \mathit{prec} > 10n, and the precond version otherwise; it throws an exception for a non-square matrix.
References#
- [Rum2010] S. M. Rump, "Verification methods: Rigorous results using floating-point arithmetic", Acta Numerica 19 (2010), 287-449.
The FLINT team, “acb_mat_det_lu, acb_mat_det_precond, acb_mat_det (acb_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_mat/acb_mat_det_lu.html (generated 2026-10-20).
@misc{flint-doc-acb-mat-acb-mat-det-lu,
author = {{The FLINT team}},
title = {{acb\_mat\_det\_lu, acb\_mat\_det\_precond, acb\_mat\_det (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_det_lu.html},
note = {Generated 2026-10-20}
}