arb_mat_spd_get_fmpz_mat
Synopsis
#include <flint/arb_mat.h>int arb_mat_spd_get_fmpz_mat(fmpz_mat_t B, const arb_mat_t A, slong prec)sourceAttempts to set B to the symmetric positive definite integer matrix obtained by rounding 2^{\mathit{prec}} A entrywise, using the midpoint of the intersection of a_{jk} and a_{kj} for both entries. Returns 1 on success, and 0 (with B undefined) if some pair a_{jk}, a_{kj} does not overlap or the rounded matrix is not positive definite. As for arf_get_fmpz, huge exponents can exhaust memory.
Cite this page
The FLINT team, “arb_mat_spd_get_fmpz_mat (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_get_fmpz_mat.html (generated 2026-10-20).
@misc{flint-doc-arb-mat-arb-mat-spd-get-fmpz-mat,
author = {{The FLINT team}},
title = {{arb\_mat\_spd\_get\_fmpz\_mat (arb\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/arb_mat/arb_mat_spd_get_fmpz_mat.html},
note = {Generated 2026-10-20}
}