Congruence

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

[WWW homepage]       [Source code repository]       [Issue tracker]

Authors

Ann Dooms, Eric Jespers, Olexandr Konovalov, Helena Verrill

Maintainers

Ann Dooms, Olexandr Konovalov, Helena Verrill

Version with GAP 4.12.2

1.2.4    (Released 27/04/2022)

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.4   [.tar.gz]