<?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) - 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" />
</head>
<body>
<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="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">Previous Chapter</a> <a href="chap2.html">Next Chapter</a> </div>
<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="nocss"> </span><a href="chap1.html#X7AC0DE4D8555D291">1.1 <span class="Heading">Motivation for this package</span></a>
</div>
<div class="ContSect"><span class="nocss"> </span><a href="chap1.html#X786BACDB82918A65">1.2 <span class="Heading">Overview over this manual</span></a>
</div>
</div>
<h3>1 <span class="Heading">Introduction</span></h3>
<p><a id="X7AC0DE4D8555D291" name="X7AC0DE4D8555D291"></a></p>
<h4>1.1 <span class="Heading">Motivation for this package</span></h4>
<p>This package is about orbit enumeration. It bundles fundamental algorithms for orbit enumeration as well as more sophisticated special-purpose algorithms for very large orbits.</p>
<p>The fundamental methods are basically an alternative implementation to the orbit algorithms in the <strong class="pkg">GAP</strong> library. We tried to make them more flexible and more efficient at the same time, therefore backwards compatibility with respect to the user interface had to be given up. In addition, more information about how an orbit was produced is retained and is available for further usage. These orbit enumeration algorithms build on even more fundamental code for hash tables.</p>
<p>The higher level algorithms basically implement the idea to enumerate an orbit "by suborbits" with respect to one or more subgroups. While these orbit-by-suborbit algorithms are much more efficient in many cases, they very often need careful and sometimes difficult preparations by the user. They are definitely not intended to be "push-the-button-tools" but require a considerable amount of knowledge from the "pilot".</p>
<p>Quite a bit of the code in this package consists in fact of interactive tools to enable users to prepare the data for the orbit-by-suborbit algorithms to work.</p>
<p><a id="X786BACDB82918A65" name="X786BACDB82918A65"></a></p>
<h4>1.2 <span class="Heading">Overview over this manual</span></h4>
<p>Chapter <a href="chap2.html#X80F00D467DD002D3"><b>2</b></a> describes the installation of this package. Chapter <a href="chap3.html#X7D55DB437F5407E8"><b>3</b></a> describes our reimplementation of the basic orbit algorithm. Chapter <a href="chap4.html#X8705763D8698C0B7"><b>4</b></a> describes our toolbox for hash tables, whereas Chapter <a href="chap6.html#X8151A51884B7EE2C"><b>6</b></a> covers tools to use random methods in groups. Chapter <a href="chap7.html#X7DF379C283FE23EF"><b>7</b></a> describes a lot of tools to search in groups and orbits. These techniques are basically intended to provide the data structures necessary to run the code described in Chapter <a href="chap8.html#X7CC7EC257DD466E3"><b>8</b></a> to use the orbit-by-suborbit algorithms. Currently, Chapter <a href="chap9.html#X7BDEA65183A3AE7B"><b>9</b></a> is an empty placeholder. In some future version of this package it will contain a description of code which helps users to find nice quotients of modules which is also needed for the orbit-by-suborbit algorithms. However, since the interface to this code is not yet stable, we chose not to document it as of now, in particular because it relies on other not yet published packages as of the time of this writing. Finally, Chapter <a href="chap10.html#X7A489A5D79DA9E5C"><b>10</b></a> shows an instructive examples for the more sophisticated usage of this package.</p>
<div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</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="chap8.html">8</a> <a href="chap9.html">9</a> <a href="chap10.html">10</a> <a href="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
91213ddcfbe7f54821d42c2d9e091326
>
files
>
2132
