1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (Congruence) - Chapter 1: Introduction</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap1" onload="jscontent()">
<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap0.html">[Previous Chapter]</a> <a href="chap2.html">[Next Chapter]</a> </div>
<p id="mathjaxlink" class="pcenter"><a href="chap1_mj.html">[MathJax on]</a></p>
<p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p>
<div class="ChapSects"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X80AE633F82C4D9BF">1.1 <span class="Heading">General aims of <strong class="pkg">Congruence</strong> package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7DB566D5785B7DBC">1.2 <span class="Heading">Installation and system requirements</span></a>
</span>
</div>
</div>
<h3>1 <span class="Heading">Introduction</span></h3>
<p><a id="X80AE633F82C4D9BF" name="X80AE633F82C4D9BF"></a></p>
<h4>1.1 <span class="Heading">General aims of <strong class="pkg">Congruence</strong> package</span></h4>
<p>The <strong class="pkg">GAP</strong> package <strong class="pkg">Congruence</strong> provides functions to construct several types of canonical congruence subgroups in <span class="SimpleMath">SL_2(ℤ)</span>, and also intersections of a finite number of such subgroups.</p>
<p>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.</p>
<p>Using the package, one can also determine indices of congruence subgroups and their intersections in <span class="SimpleMath">SL_2(ℤ)</span> and in other congruence subgroups, generate their random elements and check element memberships. Success of other group theoretical constructions mostly depends on whether they could be expressed in terms of group generators or not.</p>
<p>For the theoretical backround, we refer to <a href="chapBib.html#biBLLT-Hecke">[LLT95b]</a>, <a href="chapBib.html#biBLLT-Algorithm">[LLT95a]</a>, <a href="chapBib.html#biBCLT">[CLLT93]</a> and <a href="chapBib.html#biBKulkarni">[Kul91]</a>.</p>
<p><a id="X7DB566D5785B7DBC" name="X7DB566D5785B7DBC"></a></p>
<h4>1.2 <span class="Heading">Installation and system requirements</span></h4>
<p><strong class="pkg">Congruence</strong> is distributed in standard formats (<code class="file">tar.gz</code>, <code class="file">tar.bz2</code>, <code class="file">-win.zip</code>) and can be obtained from <span class="URL"><a href="https://gap-packages.github.io/congruence/">https://gap-packages.github.io/congruence/</a></span>.</p>
<p><strong class="pkg">Congruence</strong> does not use external binaries and, therefore, works without restrictions on the operating system. It requires at least version <strong class="pkg">GAP</strong> 4.5, and no compatibility with previous releases of <strong class="pkg">GAP</strong> 4 is guaranteed.</p>
<p>Installation of the package is standard and follows the guidelines from the <strong class="pkg">GAP</strong> manual (see <a href="../../../doc/ref/chap76_mj.html#X82473E4B8756C6CD"><span class="RefLink">Reference: Installing a GAP Package</span></a>. After the package is installed, you can start <strong class="pkg">GAP</strong> and load the <strong class="pkg">Congruence</strong> package using the command:</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage("congruence");</span>
</pre></div>
<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap0.html">[Previous Chapter]</a> <a href="chap2.html">[Next Chapter]</a> </div>
<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a> <a href="chap1.html">1</a> <a href="chap2.html">2</a> <a href="chap3.html">3</a> <a href="chap4.html">4</a> <a href="chap5.html">5</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
|
