|
|
407d7b4 |
# gap-pkg-congruence
|
|
|
407d7b4 |
|
|
|
407d7b4 |
[The Congruence package](https://gap-packages.github.io/congruence/) provides
|
|
|
407d7b4 |
functions to construct several types of canonical congruence subgroups in
|
|
|
407d7b4 |
`SL_2(Z)`, and also intersections of a finite number of such subgroups.
|
|
|
407d7b4 |
Furthermore, it implements the algorithm for generating Farey symbols for
|
|
|
407d7b4 |
congruence subgroups and using them to produce a system of independent
|
|
|
407d7b4 |
generators for these subgroups.
|