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
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
|
<Chapter Label="Introduction">
<Heading>Introduction</Heading>
<Section>
<Heading>Overview</Heading>
<Index>ANUPQ</Index>
The &GAP; 4 package &ANUPQ; provides an interface to the ANU <C>anu-pq</C> C
program written by Eamonn O'Brien, making the functionality of the C
program available to &GAP;. Henceforth, we shall refer to the &ANUPQ;
package when referring to the &GAP; interface, and to the ANU <C>anu-pq</C>
program or just <C>anu-pq</C> when referring to that C program.
<P/>
The <C>anu-pq</C> program consists of implementations of the following algorithms:
<P/>
<Enum>
<Item>
A <E><M>p</M>-quotient algorithm</E> to compute pc-presentations for <M>p</M>-factor
groups of finitely presented groups.
<P/>
<!-- The algorithm implemented here is based on that described by Newman and -->
<!-- O'Brien <Cite Key="NO96"/>, Havas and Newman <Cite Key="HN80"/>, and papers referred to -->
<!-- there. Another description of the algorithm is given by Vaughan-Lee -->
<!-- (see <Cite Key="VL90a"/>, <Cite Key="VL90b"/>). A FORTRAN implementation of this -->
<!-- algorithm was programmed by Alford and Havas. The basic data structures -->
<!-- of that implementation are retained. -->
</Item>
<Item>
A <E><M>p</M>-group generation algorithm</E> to generate pc presentations of groups
of prime power order.
<P/>
<!-- The algorithm implemented here is based on the algorithms described by -->
<!-- Newman <Cite Key="New77"/> and O'Brien <Cite Key="OBr90"/>. A FORTRAN implementation of -->
<!-- this algorithm was developed earlier by Newman and O'Brien. -->
</Item>
<Item>
A <E>standard presentation algorithm</E> used to compute a canonical
pc-presentation of a <M>p</M>-group.
<P/>
<!-- The algorithm implemented here is described in <Cite Key="OBr94"/>. -->
</Item>
<Item>
An algorithm which can be used to compute the <E>automorphism group</E> of a
<M>p</M>-group.
<P/>
This part of the <C>anu-pq</C> program is not accessible through the &ANUPQ;
package. Instead, users are advised to consider the &GAP; 4 package
&AutPGrp; by Bettina Eick and Eamonn O'Brien, which implements a better
algorithm in &GAP; for the computation of automorphism groups of
<M>p</M>-groups.
<!-- The algorithm implemented here is described in <Cite Key="OBr94"/>. -->
</Item>
</Enum>
<!-- Further background may be found in <Cite Key="OBr95"/>, <Cite Key="VL84"/> -->
<!-- and <Cite Key="NNN98"/>. -->
The current version of the &ANUPQ; package requires &GAP; 4.5, and
version 1.5 of the &AutPGrp; package. All code that made the package
compatible with earlier versions of &GAP; has been removed.
If you must use an older &GAP; version and cannot upgrade, then you may
try using an older &ANUPQ; version. However, you should not use versions
of the &ANUPQ; package older than 2.2, since they are known to have bugs.
</Section>
<Section>
<Heading>How to read this manual</Heading>
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/>
Firstly, installers of the &ANUPQ; package will need to read
Chapter <Ref Chap="Installing-ANUPQ" Style="Text"/>, if they have not already gleaned
these details from the <C>README</C> file.
<P/>
Once the &ANUPQ; package is installed, users of the &ANUPQ; package
will benefit most by first reading Chapter <Ref Chap="Mathematical Background and Terminology" Style="Text"/>, 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 <Ref Chap="Infrastructure" Style="Text"/> (skip
the remainder of the chapter on a first reading).
<P/>
Then the user/reader should pursue
Chapter <Ref Chap="non-interact" Style="Text"/>
in detail, delving into Chapter <Ref Chap="ANUPQ Options" Style="Text"/> as necessary
for the options of the functions that are described. The user will become
best acquainted with the &ANUPQ; package by trying the examples. This
chapter describes the non-interactive functions of the &ANUPQ; package,
i.e. <Q>one-shot</Q> functions that invoke the <C>anu-pq</C> program in such a way
that once &GAP; has got what it needs, the <C>anu-pq</C> is allowed to exit. It
is expected that most of the time, users will only need these functions.
<P/>
Advanced users will want to explore Chapter <Ref Chap="Interactive ANUPQ functions" Style="Text"/>
which describes all the interactive functions of the &ANUPQ; package;
these are functions that extract information via a dialogue with a
running <C>anu-pq</C> 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 <C>anu-pq</C> program, thus allowing the user to interact with the
<C>anu-pq</C> program like one can when one uses the <C>anu-pq</C> program as a stand-alone
(see <C>guide.dvi</C> in the <C>standalone-doc</C> directory).
<P/>
After having read Chapters <Ref Chap="non-interact" Style="Text"/>
and <Ref Chap="Interactive ANUPQ functions" Style="Text"/>, cross-references will have taken the
reader into Chapter <Ref Chap="ANUPQ Options" Style="Text"/>; by this stage, the reader need only
read the introduction of Chapter <Ref Chap="ANUPQ Options" Style="Text"/>.
<P/>
After the reader has developed some facility with the &ANUPQ; package,
she should explore the examples described in Appendix <Ref Chap="Examples" Style="Text"/>.
<P/>
If you run into trouble using the &ANUPQ; functions, some
troubleshooting hints are given in
Section <Ref Sect="Hints and Warnings regarding the use of Options" Style="Text"/>.
If the troubleshooting hints don't help,
Section <Ref Sect="Authors and Acknowledgements" Style="Text"/> below, gives contact details for
the authors of the components of the &ANUPQ; package.
</Section>
<Section Label="Authors and Acknowledgements">
<Heading>Authors and Acknowledgements</Heading>
The C implementation of the ANU <C>anu-pq</C> standalone was developed by Eamonn O'Brien.
<P/>
An interactive interface using iostreams was developed with the
assistance of Werner Nickel by Greg Gamble.
<P/>
The &GAP; 4 version of this package was adapted from the &GAP; 3
version by Werner Nickel.
<P/>
A new co-maintainer, Max Horn, joined the team in November, 2011.
<P/>
The authors would like to thank Joachim Neubüser for his
careful proof-reading and advice, and for formulating
Chapter <Ref Chap="Mathematical Background and Terminology" Style="Text"/>.
<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
&GAP; 3 capabilities.
<P/>
<Index>bug reports</Index>
If you find a bug, the last section of &ANUPQ;'s <C>README</C> 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).
</Section>
</Chapter>
|
