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 27 kB image not shown  

Quelle  chap0.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/anupq/doc/chap0.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) - Contents</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="chap0"  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="chap1.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap0_mj.html">[MathJax on]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">

<h1>ANUPQ</h1>


<h2>ANU p-Quotient</h2>

<p>
    3.3.2</p>

<p>
    28 August 2025
  </p>

</div>
<p>
    
            <strong class="pkg">ANUPQ</strong> is maintained by <span class="URL"><a href="mailto:mhorn@rptu.de">Max Horn</a></span>.
            For support requests, please use <span class="URL"><a href="https">our issue tracker</a></span>.
            
  </p>
<p><b>
    Greg Gamble



  </b>
<br />Email: <span class="URL"><a href="mailto:Greg.Gamble@uwa.edu.au">Greg.Gamble@uwa.edu.au</a></span>
<br />Address: <br />Department of Mathematics and Statistics<br /> Curtin University<br /> GPO Box U 1987<br /> Perth WA 6845<br /> Australia<br />
</p><p><b>
    Werner Nickel

  </b>
</p><p><b>
    Eamonn O'Brien




  </b>
<br />Email: <span class="URL"><a href="mailto:obrien@math.auckland.ac.nz">obrien@math.auckland.ac.nz</a></span>
<br />Homepage: <span class="URL"><a href="https://www.math.auckland.ac.nz/~obrien">https://www.math.auckland.ac.nz/~obrien</a></span>
<br />Address: <br />Department of Mathematics<br /> University of Auckland<br /> Private Bag 92019<br /> Auckland<br /> New Zealand<br />
</p>

<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>© 2001-2016 by Greg Gamble</p>

<p>© 2001-2005 by Werner Nickel</p>

<p>© 1995-2001 by Eamon O'Brien



<p>The <strong class="pkg">GAP</strong> package <strong class="pkg">ANUPQ</strong> is licensed under the <span class="URL"><a href="https://opensource.org/licenses/artistic-license-2.0">Artistic License 2.0</a></span>.</p>

<p><a id="X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8"></a></p>

<div class="contents">
<h3>Contents<a id="contents" name="contents"></a></h3>

<div class="ContChap"><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>
<div class="ContChap"><a href="chap2.html#X7E7F3B617F42EF03">2 <span class="Heading">Mathematical Background and Terminology</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X79A052C47C92AF09">2.1 <span class="Heading">Basic notions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7BD675838609D547">2.1-1 <span class="Heading">pc Presentations and Consistency</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7944DB037F2277A6">2.1-2 <span class="Heading">Exponent-<span class="SimpleMath">p</span> Central Series and Weighted pc Presentations</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7C43ACA37D391EBD">2.1-3 <span class="Heading"><span class="SimpleMath">p</span>-Cover, <span class="SimpleMath">p</span>-Multiplicator</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X801A27A08462AFAB">2.1-4 <span class="Heading">Descendants, Capable, Terminal, Nucleus</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X81FBE7ED79EFF5EF">2.1-5 <span class="Heading">Laws</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7C8CE96D80FC3614">2.2 <span class="Heading">The p-quotient Algorithm</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X791EB6F77899CB3D">2.2-1 <span class="Heading">Finding the <span class="SimpleMath">p</span>-cover</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X804CF5C97F7BB880">2.2-2 <span class="Heading">Imposing the Relations of the fp Group</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7F1A8CCD84462775">2.2-3 <span class="Heading">Imposing Laws</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X807FB2EC85E6648D">2.3 <span class="Heading">The p-group generation Algorithm, Standard Presentation, 
Isomorphism Testing</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap3.html#X7917EFDF7AC06F04">3 <span class="Heading">Infrastructure</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X833D58248067E13B">3.1 <span class="Heading">Loading the ANUPQ Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X83DE155A79C38DBE">3.2 <span class="Heading">The ANUPQData Record</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7B90E89782BDA6D7">3.2-1 ANUPQData</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7FBB2F457E4BD6AB">3.2-2 ANUPQDirectoryTemporary</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X83E5C7CF7D8739DF">3.3 <span class="Heading">Setting the Verbosity of ANUPQ via Info and InfoANUPQ</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7CBC9B458497BFF1">3.3-1 InfoANUPQ</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X810FFB1C8035C8BE">3.4 <span class="Heading">Utility Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X8771393B7F53F534">3.4-1 PqLeftNormComm</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7A567432879510A6">3.4-2 PqGAPRelators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7F3C5D1C7EC36EAE">3.4-3 PqParseWord</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7BB0EB607F337265">3.4-4 PqExample</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X823C93FC7B87F5BC">3.4-5 AllPqExamples</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7E3E4B047DC2E323">3.4-6 GrepPqExamples</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X8104B2BA872EFCCB">3.4-7 ToPQLog</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X818175EF85CAA807">3.5 <span class="Heading">Attributes and a Property for fp and pc p-groups</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X87DC922A78EB0DD6">3.5-1 NuclearRank</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7BA20FA07B166B37">3.6 <span class="Heading">Hints and Warnings regarding the use of Options</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X81F4AAE084C34B4B">3.6-1 ANUPQWarnOfOtherOptions</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap4.html#X7C51F26D839279FF">4 <span class="Heading">Non-interactive ANUPQ functions</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X80406BD47EB186E9">4.1 <span class="Heading">Computing p-Quotients</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X86DD32D5803CF2C8">4.1-1 Pq</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7ADE5DDB87B99CC0">4.1-2 PqEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X81C3CE1E850DA252">4.1-3 PqPCover</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X7F05F8DC79733A8E">4.2 <span class="Heading">Computing Standard Presentations</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X86C9575D7CB65FBB">4.2-1 PqStandardPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X828C06D083C0D089">4.2-2 EpimorphismPqStandardPresentation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8030FAE586423615">4.3 <span class="Heading">Testing p-Groups for Isomorphism</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X854389FC780BB178">4.3-1 IsPqIsomorphicPGroup</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8450C72580D91245">4.4 <span class="Heading">Computing Descendants of a p-Group</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X80985CC479CD9FA3">4.4-1 PqDescendants</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X8364566A80A8C24B">4.4-2 PqSupplementInnerAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X79AD54E987FCACBA">4.4-3 PqList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X85ADB9E6870EC3D1">4.4-4 SavePqList</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap5.html#X842C13C27B941744">5 <span class="Heading">Interactive ANUPQ functions</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7935CDAD7936CA0A">5.1 <span class="Heading">Starting and Stopping Interactive ANUPQ Processes</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X83B2EC237F37623C">5.1-1 PqStart</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X79DB761185BAB9C8">5.1-2 PqQuit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7FF8F2657B1B008E">5.1-3 PqQuitAll</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7EE8000A800CEE2D">5.2 <span class="Heading">Interactive ANUPQ Process Utility Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8558B20A80B999AE">5.2-1 PqProcessIndex</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E4A56D67C865291">5.2-2 PqProcessIndices</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7C103DF78435AEC7">5.2-3 IsPqProcessAlive</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X823D2BBF7C4515D4">5.3 <span class="Heading">Interactive Versions of Non-interactive ANUPQ Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X85408C4C790439E7">5.3-1 Pq</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X839E6F578227A8EA">5.3-2 PqEpimorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7AA64A2F8509A39A">5.3-3 PqPCover</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X805F32618005C087">5.3-4 PqStandardPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X791392977B2D692D">5.3-5 EpimorphismPqStandardPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X795817217C53AB89">5.3-6 PqDescendants</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X80CCF6D379E5A3B4">5.3-7 PqSetPQuotientToGroup</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X857F050C832A1FE4">5.4 <span class="Heading">Low-level Interactive ANUPQ functions based on menu items of the
pq program</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X868B10557D470CF6">5.5 <span class="Heading">General commands</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7DE2F6C686C672DD">5.5-1 PqNrPcGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X87FF98867E8FFB3C">5.5-2 PqFactoredOrder</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7B4FC9E380001A71">5.5-3 PqOrder</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X87C7F7EB7C10DC4B">5.5-4 PqPClass</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7EA3B6917908C20A">5.5-5 PqWeight</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X79862B83817E20E1">5.5-6 PqCurrentGroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X805A50687D82B9EC">5.5-7 PqDisplayPcPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X80410979854280E1">5.5-8 PqSetOutputLevel</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7B8C72B37AE667F7">5.5-9 PqEvaluateIdentities</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7BDD5B278719C630">5.6 <span class="Heading">Commands from the Main <span class="SimpleMath">p</span>-Quotient menu</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7BF135DD84A781EB">5.6-1 PqPcPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7D947CEA82C44898">5.6-2 PqSavePcPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7FD001C0798EF219">5.6-3 PqRestorePcPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X832F69597C095A27">5.6-4 PqNextClass</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7CF9DF7A84D387CB">5.6-5 PqComputePCover</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7D27BE937B1DE16E">5.7 <span class="Heading">Commands from the Advanced <span class="SimpleMath">p</span>-Quotient menu</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8633356078CA4115">5.7-1 PqCollect</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X86CCB77281FDC0FC">5.7-2 PqSolveEquation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X789B120B7E2F3017">5.7-3 PqCommutator</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7A61A15E78F52743">5.7-4 PqSetupTablesForNextClass</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X84F7DD8582B368D3">5.7-5 PqTails</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8389F6437ED634B8">5.7-6 PqComputeTails</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X83CD6D888372DFB8">5.7-7 PqAddTails</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X82AA8FAE85826BB9">5.7-8 PqDoConsistencyChecks</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7A01EE0382689928">5.7-9 PqCollectDefiningRelations</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7C2B4C1E7BEB19D5">5.7-10 PqCollectWordInDefiningGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7DB05AA587D7A052">5.7-11 PqCommutatorDefiningGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X80E563A97EDE083E">5.7-12 PqDoExponentChecks</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7BBAB2787B305516">5.7-13 PqEliminateRedundantGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X783E53B5853F45E6">5.7-14 PqRevertToPreviousClass</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8265A6DB81CD24DB">5.7-15 PqSetMaximalOccurrences</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X87A35ABB7E11595E">5.7-16 PqSetMetabelian</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7C7D17F878AA1BAA">5.7-17 PqDoConsistencyCheck</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X843953F48319FDE1">5.7-18 PqCompact</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X80344EEC78A09ACF">5.7-19 PqEchelonise</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X852947327FC39DDF">5.7-20 PqSupplyAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7B919B537C042DAD">5.7-21 PqExtendAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7CFD54657DE4BD39">5.7-22 PqApplyAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X81A3D5BF87A34934">5.7-23 PqDisplayStructure</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X853834B478C4EEE2">5.7-24 PqDisplayAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X80687A138626EB2D">5.7-25 PqWritePcPresentation</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7B94EDA385FDD904">5.8 <span class="Heading">Commands from the Standard Presentation menu</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X78D1963D85C71B7B">5.8-1 PqSPComputePcpAndPCover</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X876F30187E89E467">5.8-2 PqSPStandardPresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E1B2B088322F48A">5.8-3 PqSPSavePresentation</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X81D2F9FF7C241D1E">5.8-4 PqSPCompareTwoFilePresentations</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7D1277E584590ECE">5.8-5 PqSPIsomorphism</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X8490031B7AA7F237">5.9 <span class="Heading">Commands from the Main <span class="SimpleMath">p</span>-Group Generation menu</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X794A8D667A9D725A">5.9-1 PqPGSupplyAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X87F251077C65B6DD">5.9-2 PqPGExtendAutomorphisms</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X82FD51A27D269E43">5.9-3 PqPGConstructDescendants</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E9D511385D48A98">5.9-4 PqPGSetDescendantToPcp</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7E8FBC2D83C43481">5.10 <span class="Heading">Commands from the Advanced <span class="SimpleMath">p</span>-Group Generation menu</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E539E4B78A6CE8D">5.10-1 PqAPGDegree</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7F1182A77AB7650C">5.10-2 PqAPGPermutations</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7DD9E7507AA888CC">5.10-3 PqAPGOrbits</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X795A756C78BE5923">5.10-4 PqAPGOrbitRepresentatives</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E5D6D5782FE190E">5.10-5 PqAPGSingleStage</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X84A92E8087762DEE">5.11 <span class="Heading">Primitive Interactive ANUPQ Process Read/Write Functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X8464AF7E83A523C1">5.11-1 PqRead</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7ADD82207D049A87">5.11-2 PqReadAll</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7EBF3C3681671879">5.11-3 PqReadUntil</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X83CBE77F78057E21">5.11-4 PqWrite</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap6.html#X7B0946E97E7EB359">6 <span class="Heading">ANUPQ Options</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X8389AD927B74BA4A">6.1 <span class="Heading">Overview</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7846E25D8065D78F">6.1-1 AllANUPQoptions</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X82D560C77D195089">6.1-2 ANUPQoptions</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X87EE6DD67C9996A3">6.2 <span class="Heading">Detailed descriptions of ANUPQ Options</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap7.html#X7FB487238298CF42">7 <span class="Heading">Installing the ANUPQ Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X854577C8800DC7C2">7.1 <span class="Heading">Testing your ANUPQ installation</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X82906B5184C61063">7.2 <span class="Heading">Running the pq program as a standalone</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chapA.html#X7A489A5D79DA9E5C">A <span class="Heading">Examples</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapA.html#X80676E317BF4DF13">A.1 <span class="Heading">The Relators Option</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapA.html#X80B2AA7084C57F5D">A.2 <span class="Heading">The Identities Option and PqEvaluateIdentities Function</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapA.html#X7A997D1A8532A84B">A.3 <span class="Heading">A Large Example</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapA.html#X7FB6DA8D7BB90D8C">A.4 <span class="Heading">Developing descendants trees</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chapA.html#X805E6B418193CF2D">A.4-1 PqDescendantsTreeCoclassOne</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chapBib.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd.html"><span class="Heading">Index</span></a></div>
<br />
</div>

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.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.17 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.