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, Alexander Konovalov, Helena Verrill
Maintainers
Ann Dooms, Alexander Konovalov, Helena Verrill
Version with GAP 4.11.1
1.2.3    (Released 19/05/2019)
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.3   [.tar.gz]