<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>
<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_mj.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_mj.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_mj.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_mj.html#X7C51F26D839279FF"><span class="RefLink"><span class="Heading">Non-interactive ANUPQ functions</span></span></a> in detail, delving into Chapter <a href="chap6_mj.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_mj.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_mj.html#X7C51F26D839279FF"><span class="RefLink"><span class="Heading">Non-interactive ANUPQ functions</span></span></a> and <a href="chap5_mj.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_mj.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_mj.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_mj.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_mj.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_mj.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>
<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_mj.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>
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
