sp2gz_nb_fundamental, sp2gz_fundamental
Synopsis
#include <flint/acb_theta.h>void sp2gz_fundamental(fmpz_mat_t mat, slong j)sourcesp2gz_nb_fundamental returns the number of fundamental symplectic matrices used in the reduction algorithm, and sp2gz_fundamental sets mat to the -th of them. For there is one () and for there are 19, which define the boundary of Gottschling's fundamental domain [Got1959]. For no such complete set is known; the module uses the matrices obtained by applying the matrices to any pair of coordinates and the embeddings of a lower-dimensional on any subset of coordinates.
References#
- [Got1959] E. Gottschling, "Explizite Bestimmung der Randflächen es Fundamentalbereiches der Modulgruppe zweiten Grades'', Math. Annalen 138 (1959), 103–124. https://doi.org/10.1007/BF01342938
Cite this page
The FLINT team, “sp2gz_nb_fundamental, sp2gz_fundamental (acb_theta.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/acb_theta/sp2gz_nb_fundamental.html (generated 2026-11-02).
@misc{flint-doc-acb-theta-sp2gz-nb-fundamental,
author = {{The FLINT team}},
title = {{sp2gz\_nb\_fundamental, sp2gz\_fundamental (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/sp2gz_nb_fundamental.html},
note = {Generated 2026-11-02}
}