Congruence subgroups of SL(2,Integers)
Version 1.2.6
Released 2024-03-23
This project is maintained by Ann Dooms, Olexandr Konovalov, Helena Verrill
The Congruence package provides functions to construct several types of canonical congruence subgroups in SL_2(Z), and also intersections of a finite number of such subgroups. Furthermore, it implements the algorithm for generating Farey symbols for congruence subgroups and using them to produce a system of independent generators for these subgroups
The current version of this package is version 1.2.6, released on 2024-03-23. For more information, please refer to the package manual. There is also a README file.
License: GPL-2.0-or-later
This package requires GAP version >=4.8
The following other GAP packages are needed:
Ann Dooms, Eric Jespers, Olexandr Konovalov, Helena Verrill.
Please, cite this package as
[DJKV24] Dooms, A., Jespers, E., Konovalov, O. and Verrill, H.,
Congruence, Congruence subgroups of SL(2,Integers),
Version 1.2.6
(2024)
(GAP package),
https://gap-packages.github.io/congruence.
You can get more info by typing Cite("Congruence"); in the gap prompt.
For bug reports, feature requests and suggestions, please use the issue tracker.