acb_siegel_reduce
Synopsis
#include <flint/acb_theta.h>void acb_siegel_reduce(fmpz_mat_t mat, const acb_mat_t tau, slong prec)sourceSets mat to a symplectic matrix such that \mathit{mat} \cdot \tau is as reduced as possible, by repeatedly reducing Y with LLL (block-diagonal matrices), the real part of \tau (trigonal matrices), and applying fundamental matrices that increase |\det Y|. If the entries of \tau are not of reasonable size or \det Y is vanishingly small, mat is set to the identity.
Guides#
Cite this page
The FLINT team, “acb_siegel_reduce (acb_theta.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_theta/acb_siegel_reduce.html (generated 2026-10-20).
@misc{flint-doc-acb-theta-acb-siegel-reduce,
author = {{The FLINT team}},
title = {{acb\_siegel\_reduce (acb\_theta.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/acb_theta/acb_siegel_reduce.html},
note = {Generated 2026-10-20}
}