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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
<?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 (ANUPQ) - 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="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chapA.html">A</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#X8389AD927B74BA4A">1.1 <span class="Heading">Overview</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X8416D2657E7831A1">1.2 <span class="Heading">How to read this manual</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X79D2480A7810A7CC">1.3 <span class="Heading">Authors and Acknowledgements</span></a>
</span>
</div>
</div>
<h3>1 <span class="Heading">Introduction</span></h3>
<p><a id="X8389AD927B74BA4A" name="X8389AD927B74BA4A"></a></p>
<h4>1.1 <span class="Heading">Overview</span></h4>
<p>The <strong class="pkg">GAP</strong> 4 package <strong class="pkg">ANUPQ</strong> provides an interface to the ANU <code class="code">pq</code> C program written by Eamonn O'Brien, making the functionality of the C program available to <strong class="pkg">GAP</strong>. Henceforth, we shall refer to the <strong class="pkg">ANUPQ</strong> package when referring to the <strong class="pkg">GAP</strong> interface, and to the ANU <code class="code">pq</code> program or just <code class="code">pq</code> when referring to that C program.</p>
<p>The <code class="code">pq</code> program consists of implementations of the following algorithms:</p>
<ol>
<li><p>A <em><span class="SimpleMath">p</span>-quotient algorithm</em> to compute pc-presentations for <span class="SimpleMath">p</span>-factor groups of finitely presented groups.</p>
</li>
<li><p>A <em><span class="SimpleMath">p</span>-group generation algorithm</em> to generate pc presentations of groups of prime power order.</p>
</li>
<li><p>A <em>standard presentation algorithm</em> used to compute a canonical pc-presentation of a <span class="SimpleMath">p</span>-group.</p>
</li>
<li><p>An algorithm which can be used to compute the <em>automorphism group</em> of a <span class="SimpleMath">p</span>-group.</p>
<p>This part of the <code class="code">pq</code> program is not accessible through the <strong class="pkg">ANUPQ</strong> package. Instead, users are advised to consider the <strong class="pkg">GAP</strong> 4 package <strong class="pkg">AutPGrp</strong> by Bettina Eick and Eamonn O'Brien, which implements a better algorithm in <strong class="pkg">GAP</strong> for the computation of automorphism groups of <span class="SimpleMath">p</span>-groups.</p>
</li>
</ol>
<p>The current version of the <strong class="pkg">ANUPQ</strong> package requires <strong class="pkg">GAP</strong> 4.5, and version 1.5 of the <strong class="pkg">AutPGrp</strong> package. All code that made the package compatible with earlier versions of <strong class="pkg">GAP</strong> has been removed. If you must use an older <strong class="pkg">GAP</strong> version and cannot upgrade, then you may try using an older <strong class="pkg">ANUPQ</strong> version. However, you should not use versions of the <strong class="pkg">ANUPQ</strong> package older than 2.2, since they are known to have bugs.</p>
<p><a id="X8416D2657E7831A1" name="X8416D2657E7831A1"></a></p>
<h4>1.2 <span class="Heading">How to read this manual</span></h4>
<p>It is not expected that readers of this manual will read it in a linear fashion from cover to cover; some sections contain material that is far too technical to be absorbed on a first reading.</p>
<p>Firstly, installers of the <strong class="pkg">ANUPQ</strong> package will need to read Chapter <a href="chap7.html#X7FB487238298CF42"><span class="RefLink"><span class="Heading">Installing the ANUPQ Package</span></span></a>, if they have not already gleaned these details from the <code class="code">README</code> file.</p>
<p>Once the <strong class="pkg">ANUPQ</strong> package is installed, users of the <strong class="pkg">ANUPQ</strong> package will benefit most by first reading Chapter <a href="chap2.html#X7E7F3B617F42EF03"><span class="RefLink"><span class="Heading">Mathematical Background and Terminology</span></span></a>, which gives a brief description of the background and terminology used (this chapter also cites a number of references for further reading), and the introduction of Chapter <a href="chap3.html#X7917EFDF7AC06F04"><span class="RefLink"><span class="Heading">Infrastructure</span></span></a> (skip the remainder of the chapter on a first reading).</p>
<p>Then the user/reader should pursue Chapter <a href="chap4.html#X7C51F26D839279FF"><span class="RefLink"><span class="Heading">Non-interactive ANUPQ functions</span></span></a> in detail, delving into Chapter <a href="chap6.html#X7B0946E97E7EB359"><span class="RefLink"><span class="Heading">ANUPQ Options</span></span></a> as necessary for the options of the functions that are described. The user will become best acquainted with the <strong class="pkg">ANUPQ</strong> package by trying the examples. This chapter describes the non-interactive functions of the <strong class="pkg">ANUPQ</strong> package, i.e. <q>one-shot</q> functions that invoke the <code class="code">pq</code> program in such a way that once <strong class="pkg">GAP</strong> has got what it needs, the <code class="code">pq</code> is allowed to exit. It is expected that most of the time, users will only need these functions.</p>
<p>Advanced users will want to explore Chapter <a href="chap5.html#X842C13C27B941744"><span class="RefLink"><span class="Heading">Interactive ANUPQ functions</span></span></a> which describes all the interactive functions of the <strong class="pkg">ANUPQ</strong> package; these are functions that extract information via a dialogue with a running <code class="code">pq</code> process. Occasionally, a user needs the <q>next step</q>; the functions provided in this chapter make use of data from previous steps retained by the <code class="code">pq</code> program, thus allowing the user to interact with the <code class="code">pq</code> program like one can when one uses the <code class="code">pq</code> program as a stand-alone (see <code class="code">guide.dvi</code> in the <code class="code">standalone-doc</code> directory).</p>
<p>After having read Chapters <a href="chap4.html#X7C51F26D839279FF"><span class="RefLink"><span class="Heading">Non-interactive ANUPQ functions</span></span></a> and <a href="chap5.html#X842C13C27B941744"><span class="RefLink"><span class="Heading">Interactive ANUPQ functions</span></span></a>, cross-references will have taken the reader into Chapter <a href="chap6.html#X7B0946E97E7EB359"><span class="RefLink"><span class="Heading">ANUPQ Options</span></span></a>; by this stage, the reader need only read the introduction of Chapter <a href="chap6.html#X7B0946E97E7EB359"><span class="RefLink"><span class="Heading">ANUPQ Options</span></span></a>.</p>
<p>After the reader has developed some facility with the <strong class="pkg">ANUPQ</strong> package, she should explore the examples described in Appendix <a href="chapA.html#X7A489A5D79DA9E5C"><span class="RefLink"><span class="Heading">Examples</span></span></a>.</p>
<p>If you run into trouble using the <strong class="pkg">ANUPQ</strong> functions, some troubleshooting hints are given in Section <a href="chap3.html#X7BA20FA07B166B37"><span class="RefLink"><span class="Heading">Hints and Warnings regarding the use of Options</span></span></a>. If the troubleshooting hints don't help, Section <a href="chap1.html#X79D2480A7810A7CC"><span class="RefLink"><span class="Heading">Authors and Acknowledgements</span></span></a> below, gives contact details for the authors of the components of the <strong class="pkg">ANUPQ</strong> package.</p>
<p><a id="X79D2480A7810A7CC" name="X79D2480A7810A7CC"></a></p>
<h4>1.3 <span class="Heading">Authors and Acknowledgements</span></h4>
<p>The C implementation of the ANU <code class="code">pq</code> standalone was developed by Eamonn O'Brien.</p>
<p>An interactive interface using iostreams was developed with the assistance of Werner Nickel by Greg Gamble.</p>
<p>The <strong class="pkg">GAP</strong> 4 version of this package was adapted from the <strong class="pkg">GAP</strong> 3 version by Werner Nickel.</p>
<p>A new co-maintainer, Max Horn, joined the team in November, 2011.</p>
<p>The authors would like to thank Joachim Neubüser for his careful proof-reading and advice, and for formulating Chapter <a href="chap2.html#X7E7F3B617F42EF03"><span class="RefLink"><span class="Heading">Mathematical Background and Terminology</span></span></a>.</p>
<p>We would also like to thank Bettina Eick who by her testing and provision of examples helped us to eliminate a number of bugs and who provided a number of valuable suggestions for extensions of the package beyond the <strong class="pkg">GAP</strong> 3 capabilities.</p>
<p>If you find a bug, the last section of <strong class="pkg">ANUPQ</strong>'s <code class="code">README</code> describes the information we need and where to send us a bug report; please take the time to read this (i.e. help us to help you).</p>
<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="chap6.html">6</a> <a href="chap7.html">7</a> <a href="chapA.html">A</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>
|
