Quelle  chap0_mj.html   Sprache: 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>
<script type="text/javascript"
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (genss) - 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_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap1_mj.html">[Next Chapter]</a>   </div>

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

<h1>genss</h1>


<h2>Generic Schreier-Sims</h2>

<p>
    1.6.9</p>

<p>
    29 July 2024
  </p>

</div>
<p><b>
    Max Neunhöffer




  </b>
<br />Email: <span class="URL"><a href="mailto:max@9hoeffer.de">max@9hoeffer.de</a></span>
<br />Homepage: <span class="URL"><a href="http://www-groups.mcs.st-and.ac.uk/~neunhoef">http://www-groups.mcs.st-and.ac.uk/~neunhoef</a></span>
<br />Address: <br />Gustav-Freytag-Straße 40<br /> 50354 Hürth<br /> Germany<br />
</p><p><b>
    Felix Noeske




  </b>
<br />Email: <span class="URL"><a href="mailto:felix.noeske@math.rwth-aachen.de">felix.noeske@math.rwth-aachen.de</a></span>
<br />Homepage: <span class="URL"><a href="http://www.math.rwth-aachen.de/~Felix.Noeske">http://www.math.rwth-aachen.de/~Felix.Noeske</a></span>
<br />Address: <br />Felix Noeske<br /> Lehrstuhl D fuer Mathematik, RWTH Aachen<br /> Templergraben 64<br /> 52056 Aachen<br /> Germany<br />
</p>

<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>© 2006-2014 by Max Neunhöffer and Felix Noeske</p>

<p>This package may be distributed under the terms and conditions of the GNU Public License Version 3 or higher.</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_mj.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X873C99678745ABAF">1.1 <span class="Heading">Philosophy</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X786BACDB82918A65">1.2 <span class="Heading">Overview over this manual</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X80D704CC7EBFDF7A">1.3 <span class="Heading">Feedback</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2_mj.html#X79F0226A86DDABC3">2 <span class="Heading">Installation of the <strong class="pkg">genss</strong>-Package</span></a>
</div>
<div class="ContChap"><a href="chap3_mj.html#X8064DE868377020F">3 <span class="Heading">Stabiliser Chains</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7B480F377A18AD40">3.1 <span class="Heading">Computing stabiliser chains</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X80747C9A7FEB36BE">3.1-1 StabilizerChain</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X784758907BD66D57">3.2 <span class="Heading">Options for the computation of stabiliser chains</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X80C443DB7F951958">3.2-1 GENSS_IsOneProjective</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7BBF7C748660197B">3.3 <span class="Heading">How base points are chosen</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X814A0FEE7B677BF7">3.3-1 FindBasePointCandidates</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7F17287C81771245">3.4 <span class="Heading">Using stabiliser chains</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7BAA7E4478F5CFA9">3.4-1 SiftGroupElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7C88F18C79DF9005">3.4-2 SiftGroupElementSLP</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X82EFC40987B17368">3.4-3 StrongGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7FC7256285A2110A">3.4-4 NrStrongGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7956F37981FD2F48">3.4-5 BaseStabilizerChain</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X858ADA3B7A684421">3.4-6 Size</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X79730D657AB219DB">3.4-7 Random</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X87BDB89B7AAFE8AD"><code>3.4-8 \in</code></a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X84103D1A854F6E73">3.4-9 IsProved</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X837389DA857F0596">3.4-10 GroupIteratorByStabilizerChain</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X8639DF037FAB2E96">3.4-11 SetStabilizerChain</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7C12BF8B7976B1FC">3.4-12 StoredStabilizerChain</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7B0B01C4875F2CB8">3.4-13 StabChainOp</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7952DA8183229C8C">3.4-14 SiftBaseImage</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7DB069EA7A77DD4D">3.4-15 SLPChainStabilizerChain</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X7DE1ACFA81002A5E">3.4-16 GroupHomomorphismByImagesNCStabilizerChain</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X80BB35D380A972BB">3.4-17 FindShortGeneratorsOfSubgroup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3_mj.html#X87B01CDA7D44C5A2">3.4-18 Stab</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap4_mj.html#X7A4E22528475FE10">4 <span class="Heading">Backtrack search methods</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X7D3782CF793C6AEE">4.1 <span class="Heading">Setwise stabilisers</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X82E47897844105A1">4.1-1 SetwiseStabilizer</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X80F3D70A80D2B4FD">4.1-2 SetwiseStabilizerPartitionBacktrack</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4_mj.html#X80EC4351864EAA8B">4.2 <span class="Heading">Generic backtrack search</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X8400084E83FD7EAF">4.2-1 BacktrackSearchStabilizerChainElement</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4_mj.html#X7D31CCB08688F4E3">4.2-2 BacktrackSearchStabilizerChainSubgroup</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap5_mj.html#X7A489A5D79DA9E5C">5 <span class="Heading">Examples</span></a>
</div>
<div class="ContChap"><a href="chapBib_mj.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd_mj.html"><span class="Heading">Index</span></a></div>
<br />
</div>

<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap1_mj.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chap4_mj.html">4</a>  <a href="chap5_mj.html">5</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>