Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  chap0.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/orb/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 (orb) - 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="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</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>orb</h1>


<h2>Methods to enumerate orbits</h2>

<p>
    5.0.1</p>

<p>
    20 June 2025
  </p>

</div>
<p><b>
    Juergen Mueller




  </b>
<br />Email: <span class="URL"><a href="mailto:juergen.mueller@math.rwth-aachen.de">juergen.mueller@math.rwth-aachen.de</a></span>
<br />Homepage: <span class="URL"><a href="http://www.math.rwth-aachen.de/~Juergen.Mueller">http://www.math.rwth-aachen.de/~Juergen.Mueller</a></span>
<br />Address: <br />Juergen Mueller<br /> Lehrstuhl D fuer Mathematik, RWTH Aachen<br /> Templergraben 64<br /> 52056 Aachen<br /> Germany<br />
</p><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>© 2005-2014 by Jürgen Müller, Max Neunhöffer and Felix Noeske</p>

<p>This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <span class="URL"><a href="https://www.gnu.org/licenses/">https://www.gnu.org/licenses/</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#X7AC0DE4D8555D291">1.1 <span class="Heading">Motivation for this package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.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.html#X80D704CC7EBFDF7A">1.3 <span class="Heading">Feedback</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2.html#X80F00D467DD002D3">2 <span class="Heading">Installation of the <strong class="pkg">orb</strong>-Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7FB00ED2787027A3">2.1 <span class="Heading">Recompiling the documentation</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap3.html#X7D55DB437F5407E8">3 <span class="Heading">Basic orbit enumeration</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X87DF498E7F386786">3.1 <span class="Heading">Enumerating orbits</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X86A89A0881CE04F6">3.1-1 Orb</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7BCD5342793C7A7E">3.1-2 Enumerate</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X81D5A4A97AA9D4B0">3.1-3 IsClosed</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X81BF5A087B9E1353">3.1-4 <span class="Heading">Options for orbits</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7B11180F80A77D48">3.1-5 <span class="Heading">Output components of orbits</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X833670F47BD5632C">3.1-6 StabWords</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X84F62CB679D6B3CE">3.1-7 PositionOfFound</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X791CE79C8041058C">3.1-8 UnderlyingPlist</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X79A6D04C7CBABFC7">3.1-9 DepthOfSchreierTree</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7FEBA8B4838FBD52">3.1-10 IsGradedOrbit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7BBE86D97DF2304B">3.1-11 Grades</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X8389D8AB794EF721">3.1-12 OrbitGraph</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7A08E68585088C89">3.1-13 OrbitGraphAsSets</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X81C12D677CE815C7">3.1-14 ActionOnOrbit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7EA4E92180F142D3">3.1-15 OrbActionHomomorphism</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7F927E787BA898BF">3.1-16 TraceSchreierTreeForward</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X80615B4D83620AA1">3.1-17 TraceSchreierTreeBack</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7D892CE87E7EBEDB">3.1-18 ActWithWord</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X799D2F3C866B9AED">3.1-19 EvaluateWord</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7D100BE4820039C1">3.1-20 AddGeneratorsToOrbit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X823F7A9A83EACFD0">3.1-21 MakeSchreierTreeShallow</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X8566B13379E697F6">3.1-22 FindSuborbits</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X83015A9E823E1AB1">3.1-23 OrbitIntersectionMatrix</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X8245A2D280E66B2C">3.1-24 ORB_EstimateOrbitSize</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap4.html#X8705763D8698C0B7">4 <span class="Heading">Hashing techniques</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X814DE39B7C1B1554">4.1 <span class="Heading">The idea of hashing</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X7AE36B967EB1382B">4.2 <span class="Heading">Hash functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7ACED4FB7C971A5A">4.2-1 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X803D35D97B6E7CC5">4.2-2 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7B04C17D7DC6E277">4.2-3 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7F41F51C83E88759">4.2-4 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X847801B87A03AA77">4.2-5 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X819264A980D873EE">4.2-6 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7BAD070A79E54131">4.2-7 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7C7C0CDB7DCE95B4">4.2-8 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X80C0C39080BFAA8F">4.2-9 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X87C1B2F7871B7EA4">4.2-10 ChooseHashFunction</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X80E195168734F8E3">4.2-11 ChooseHashFunction</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8424E70E78FAA203">4.3 <span class="Heading">Using hash tables</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X79F46D9982BB0E12">4.3-1 HTCreate</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X833166757E58B83B">4.3-2 HTAdd</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X8585E1687AE9E409">4.3-3 HTValue</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X788B50C17A472DFD">4.3-4 HTUpdate</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X82A8245E875B0B8E">4.3-5 HTDelete</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X805BC8667B91890E">4.3-6 HTGrow</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8069137484662072">4.4 <span class="Heading"> The data structures for hash tables </span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X81BD00DE877E2C0D">4.4-1 <span class="Heading"> Memory requirements </span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X8238A6C0834A48F4">4.4-2 <span class="Heading"> Handling of collisions </span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X836F7C2C7932FEAE">4.4-3 <span class="Heading"> Efficiency </span></a>
</span>
</div></div>
</div>
<div class="ContChap"><a href="chap5.html#X86BA72E27E278718">5 <span class="Heading">Caching techniques</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X87639FAC8621A75A">5.1 <span class="Heading">The idea of caching</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7B269D167B6C9BF6">5.2 <span class="Heading">Using caches</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7FF40AE981FE6F75">5.2-1 LinkedListCache</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7ECBA1228365BDC4">5.2-2 CacheObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E1D239886BC762C">5.2-3 ClearCache</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X819FD13C7CCC6810">5.2-4 UseCacheObject</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap6.html#X8151A51884B7EE2C">6 <span class="Heading">Random elements</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X83F87C898304A0C8">6.1 <span class="Heading">Randomizing mutable objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X83DD8B39864A2C94">6.1-1 Randomize</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7BBA80B882867C36">6.1-2 MakeRandomVectors</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7DF0A6E885A4EE42">6.1-3 MakeRandomLines</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7B46C06479401BED">6.2 <span class="Heading">Product replacement</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8290E4C57DE25CD4">6.2-1 ProductReplacer</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7AB4297E78216855">6.2-2 Next</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7EAED8EB78CCEDE2">6.2-3 Reset</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8227729983A3B366">6.2-4 AddGeneratorToProductReplacer</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap7.html#X7DF379C283FE23EF">7 <span class="Heading">Searching in groups and orbits</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X85BB0EBC7F0D8329">7.1 <span class="Heading">Searching using orbit enumeration</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7F6A0E447E369404">7.2 <span class="Heading">Random searches in groups</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X7971BF5D8099E557">7.2-1 RandomSearcher</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X835FBD72853595BE">7.2-2 Search</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X833CDEF4843DF5C5">7.3 <span class="Heading">The dihedral trick and applications</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X84659F6786852150">7.3-1 FindInvolution</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X7FBBCD5C82211934">7.3-2 FindCentralisingElementOfInvolution</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X80CEAEAB7EDB57FE">7.3-3 FindInvolutionCentralizer</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7DE53BFB7A82324D">7.4 <span class="Heading">Orbit statistics on vector spaces</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X80E95A9D82ADB62D">7.4-1 OrbitStatisticOnVectorSpace</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X8124E7F17C95BECB">7.4-2 OrbitStatisticOnVectorSpaceLines</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7F051A447E2E8573">7.5 <span class="Heading">Finding generating sets of subgroups</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X80BB35D380A972BB">7.5-1 FindShortGeneratorsOfSubgroup</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap8.html#X7F2630FB7AA3C73D">8 <span class="Heading">AVL trees</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X792FFB378773B140">8.1 <span class="Heading">The idea of AVL trees</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X7D4FEC9479D3EBB4">8.2 <span class="Heading">Using AVL trees</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X791E346F84F0430C">8.2-1 AVLTree</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X83EC43DA871C7F60">8.2-2 AVLCmp</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7F65886F84E991C7">8.2-3 AVLAdd</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7E6EF8297C68F553">8.2-4 AVLLookup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X82CE14F17B5DD6B2">8.2-5 AVLDelete</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7D1B85DA814DA26C">8.2-6 AVLFindIndex</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X810E5CDF7ED14BF8">8.2-7 AVLIndex</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X8541DB5C78B60A6B">8.2-8 AVLIndexLookup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X817B8377799DE5E1">8.2-9 AVLIndexAdd</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X79E13784868CEAAF">8.2-10 AVLIndexDelete</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7EF737C286E94F23">8.2-11 AVLFind</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X80CF197882D71FD7">8.2-12 AVLIndexFind</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X78B2EEB4804987F2">8.2-13 AVLData</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X78DE1F2C80B0D55C">8.2-14 AVLValue</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X83A5C59278E13248">8.2-15 Display</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X805C33C281B29B00">8.2-16 ELM_LIST</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X79975EC6783B4293">8.2-17 Position</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X795EC9D67E34DAB0">8.2-18 Add</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X7E98B11B79BA9167">8.2-19 Remove</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X780769238600AFD1">8.2-20 Length</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap8.html#X87BDB89B7AAFE8AD"><code>8.2-21 \in</code></a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap8.html#X87323803809E0EF5">8.3 <span class="Heading">The internal data structures</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap9.html#X7CC7EC257DD466E3">9 <span class="Heading">Orbit enumeration by suborbits</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9.html#X819508B17A733D53">9.1 <span class="Heading"><code class="code">OrbitBySuborbits</code> and its resulting objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X79B161FD84AB8C68">9.1-1 OrbitBySuborbit</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X86CCD9B98156155E">9.1-2 OrbitBySuborbitKnownSize</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X83C66D4A8603CA56">9.1-3 Size</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7EBEA64D7A5F78E3">9.1-4 Seed</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X80B78B657E77A485">9.1-5 SuborbitsDb</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7B5E783478A337C9">9.1-6 WordsToSuborbits</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7926C96485985614">9.1-7 Memory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X840AFA7987535AC5">9.1-8 Stabilizer</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7F496D9B7C44DAAB">9.1-9 StabWords</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X802068267DACF3F6">9.1-10 SavingFactor</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X79DB081F827B53CB">9.1-11 TotalLength</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X81ABF8407AF16C34">9.1-12 Representatives</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X79552A1086449062">9.1-13 SavingFactor</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7A96D6D37F0EC46A">9.1-14 OrigSeed</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9.html#X7FD5374278E83A36">9.2 <span class="Heading">Preparation functions for <code class="func">OrbitBySuborbit</code> (<a href="chap9.html#X79B161FD84AB8C68"><span class="RefLink">9.1-1</span></a>)</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X830E221D84E44A64">9.2-1 OrbitBySuborbitBootstrapForVectors</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X799056597EA62513">9.2-2 OrbitBySuborbitBootstrapForLines</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7919B1AB7D68780D">9.2-3 OrbitBySuborbitBootstrapForSpaces</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9.html#X80F036B378A3FD32">9.3 <span class="Heading">Data structures for orbit-by-suborbits</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7CFD48C17B48CDDD">9.3-1 IsOrbitBySuborbitSetup</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X855663F5790EA2D0">9.3-2 <span class="Heading">The global record <code class="code">ORB</code></span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap9.html#X8696CFD08768508D">9.4 <span class="Heading">Lists of orbit-by-suborbit objects</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7FB77D827E31AE24">9.4-1 InitOrbitBySuborbitList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X87CB441882F43F62">9.4-2 IsVectorInOrbitBySuborbitList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7D82CE2579A50B2C">9.4-3 OrbitsFromSeedsToOrbitList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X83A306918461D700">9.4-4 VerifyDisjointness</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7ED405017E3A56CD">9.4-5 Memory</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7D52885787865E81">9.4-6 TotalLength</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7C4255287D394742">9.4-7 Size</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap9.html#X7BFE12DE85CCE143">9.4-8 SavingFactor</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap10.html#X7BDEA65183A3AE7B">10 <span class="Heading">Finding nice quotients</span></a>
</div>
<div class="ContChap"><a href="chap11.html#X7A489A5D79DA9E5C">11 <span class="Heading">Examples</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap11.html#X7D5456AC85A830A4">11.1 <span class="Heading">The Mathieu group <span class="SimpleMath">M_{11}</span> acting in 
    dimension <span class="SimpleMath">24</span></span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap11.html#X790F22B67C56A49F">11.2 <span class="Heading">The Fischer group <span class="SimpleMath">Fi_{23}</span> acting in 
    dimension <span class="SimpleMath">1494</span>
    </span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap11.html#X7D7BDBF87E7C45ED">11.3 <span class="Heading">The Conway group <span class="SimpleMath">Co_1</span> acting in 
    dimension <span class="SimpleMath">24</span>
    </span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap11.html#X781209EE7C9D3E0E">11.4 <span class="Heading">The Baby Monster <span class="SimpleMath">B</span> acting on its 2A involutions</span></a>
</span>
</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="chap8.html">8</a>  <a href="chap9.html">9</a>  <a href="chap10.html">10</a>  <a href="chap11.html">11</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  ¤

*© 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.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge