Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/anupq/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 28.7.2025 mit Größe 11 kB image not shown  

Quelle  chap1.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/anupq/doc/chap1.html


<?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 GAP. Henceforth, we shall refer to the ANUPQ package when referring to the GAP interface, and to the ANU pq program or just pq when referring to that C program.



<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 GAP for the computation of automorphism groups of p-groups.



</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 Authors and Acknowledgements below, gives contact details for the authors of the components of the ANUPQ package.



<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>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 README 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).




<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>

100%


¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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 ist noch experimentell.