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

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 number 1.1.1   (Released 28/10/2014)

Status

accepted    (communicated by Graham Ellis (Galway), accepted 09/2014)

Dependencies

GAP version: >=4.7
Needed other packages: GAPDoc(>= 1.5.1),

Online documentation

Congruence: [ HTML] version   [ PDF] version  

Download

[README]    congruence-1.1.1[.tar.gz  (336K)]   [.tar.bz2  (316K)]   [-win.zip  (372K)]   [.zip  (372K)]  

Contact

Ann Dooms
Address:
Department of Mathematics
Vrije Universiteit Brussel
Pleinlaan 2, Brussels, B-1050 Belgium
WWW: http://homepages.vub.ac.be/~andooms
E-mail: andooms@vub.ac.be

Alexander Konovalov
Address:
School of Computer Science
University of St Andrews
Jack Cole Building, North Haugh,
St Andrews, Fife, KY16 9SX, Scotland
WWW: http://www.cs.st-andrews.ac.uk/~alexk/
E-mail: alexk@mcs.st-andrews.ac.uk

Helena Verrill
Address:
Department of Mathematics
Louisiana State University
Baton Rouge, Louisiana, 70803-4918
USA
WWW: http://www.math.lsu.edu/~verrill
E-mail: verrill@math.lsu.edu