GAP

Main Branches

Downloads  Installation  Overview  Data Libraries  Packages  Documentation  Contacts  FAQ  GAP 3 

GAP package Congruence

Congruence subgroups of SL(2,Integers)

Authors

Ann Dooms, Eric Jespers, Alexander Konovalov, Helena Verrill

Maintainers

Ann Dooms, Alexander Konovalov, Helena Verrill

Short Description

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

Version

Current version shipped with GAP: 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)

Online documentation

Congruence: [ HTML] version   [ PDF] version  

Download

[README]    congruence-1.2.3 [.tar.gz  ]   [.tar.bz2  ]   [-win.zip  ]   [.zip  ]  

Source code repository

git : https://github.com/gap-packages/congruence

Issue tracker

https://github.com/gap-packages/congruence/issues