GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package Congruence

Congruence subgroups of SL(2,Integers)

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

Authors
Ann Dooms, Eric Jespers, Olexandr Konovalov, Helena Verrill
Maintainers
Ann Dooms, Olexandr Konovalov, Helena Verrill
Version with GAP 4.13.0
1.2.5    (Released 25/02/2023)
License
GPL-2.0-or-later
Status
accepted    (communicated by Graham Ellis (Galway), accepted 01/09/2014)
Dependencies
GAP version: >=4.8
Needed other packages: GAPDoc (>= 1.5.1)
Documentation
Congruence [HTML]     [PDF]
Download
congruence-1.2.5   [.tar.gz]