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


Quelle  chap1.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/recog/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 (recog) - 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="chap8.html">8</a>  <a href="chap9.html">9</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#X873C99678745ABAF">1.1 <span class="Heading">Philosophy</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#X828241117D993F36">1.3 <span class="Heading">Feedback and support</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X804FB63186BEBD38">1.4 <span class="Heading">Literature (temporary)</span></a>
</span>
</div>
</div>

<h3>1 <span class="Heading">Introduction</span></h3>

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

<h4>1.1 <span class="Heading">Philosophy</span></h4>

<p>This package is about group recognition. It provides a generic framework to implement methods of group recognition, regardless of what computational representation is used. This means, that the code in this package is useful at least for permutation groups, and matrix groups and projective groups over finite fields. The setup is described in <a href="chapBib.html#biBNS06">[NS06]</a>.</p>

<p>The framework allows to build composition trees and handles the builtup and usage of these trees in a generic way. It also contains a method selection (described in Chapter <a href="chap4.html#X8058CC8187162644"><span class="RefLink">4</span></a>) that allows to install recognition methods in a convenient way and that automatically tries to try the different available methods in a sensible order.</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#X7AA0519A7CFE18C2"><span class="RefLink">2</span></a> describes the installation of this package.</p>

<p>Chapter <a href="chap3.html#X7F73983582251807"><span class="RefLink">3</span></a> describes the generic, recursive procedure used for group recognition throughout this package. At the heart of this procedure is the definition of <q>FindHomomorphism</q> methods, which is also described in that chapter. For the choice of the right method for finding a homomorphism (or an isomorphism) we use another generic procedure, the <q>method selection</q> which is not to be confused with the <strong class="pkg">GAP</strong> method selection.</p>

<p>Our own method selection system is described in detail in Chapter <a href="chap4.html#X8058CC8187162644"><span class="RefLink">4</span></a>, because it is interesting in its own right and might be useful in other circumstances.</p>

<p>Chapter <a href="chap6.html#X78C5295B86AD0C66"><span class="RefLink">6</span></a> describes the available <q>FindHomomorphism</q> methods.</p>

<p>Chapter <a href="chap5.html#X851A3F04786123D5"><span class="RefLink">5</span></a> explains what one can do with a completed recognition tree.</p>

<p>Finally, Chapter <a href="chap7.html#X7A489A5D79DA9E5C"><span class="RefLink">7</span></a> shows some instructive examples of the usage of this package.</p>

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

<h4>1.3 <span class="Heading">Feedback and support</span></h4>

<p>If you have any bug reports, feature requests, or suggestions, then please tell us via the <span class="URL"><a href="https://github.com/gap-packages/recog/issues">issue tracker on GitHub</a></span>.</p>

<p>In addition, the <strong class="pkg">recog</strong> package has a mailing list, at <span class="URL"><a href="mailto:recog@gap-system.org">recog@gap-system.org</a></span>, which can be used for holding discussions, sharing information, and asking questions about the package. You can find more information, and register to receive the mail sent to this list, at <span class="URL"><a href="https://mail.gap-system.org/mailman/listinfo/recog">https://mail.gap-system.org/mailman/listinfo/recog</a></span>.</p>

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

<h4>1.4 <span class="Heading">Literature (temporary)</span></h4>

<p>TODO Find the appropriate place to put these references, so that they appear in the bibliography: <a href="chapBib.html#biBLNPS06">[LNPS06]</a> <a href="chapBib.html#biBBLS97">[BLS97]</a> <a href="chapBib.html#biBJLNP13">[JLNP13]</a> <a href="chapBib.html#biBDLGLO13">[DLLO13]</a> <a href="chapBib.html#biBLGO09">[LO09]</a> <a href="chapBib.html#biBBLGN+05">[BLN+05]</a> <a href="chapBib.html#biBBLGN+03">[BLN+03]</a> <a href="chapBib.html#biBNP98">[NP98]</a> <a href="chapBib.html#biBNP99">[NP99]</a> <a href="chapBib.html#biBNP97">[NP97]</a> <a href="chapBib.html#biBPra99">[Pra99]</a> <a href="chapBib.html#biBCLG97a">[CL97a]</a> <a href="chapBib.html#biBCLG97b">[CL97b]</a> <a href="chapBib.html#biBCLGM+95">[CLM+95]</a> <a href="chapBib.html#biBBNS06">[BNS06]</a> <a href="chapBib.html#biBCNRD09">[CNR09]</a> <a href="chapBib.html#biBBHLGO15">[BHLO15]</a> <a href="chapBib.html#biBNeu09">[Neu09]</a> <a href="chapBib.html#biBSer03">[Ser03]</a> <a href="chapBib.html#biBKK15">[KK15]</a> <a href="chapBib.html#biBLO16">[LO16]</a> <a href="chapBib.html#biBLO07">[LO07]</a> <a href="chapBib.html#biBHLO+08">[HLO+08]</a> <a href="chapBib.html#biBBB99">[BB99]</a> <a href="chapBib.html#biBBBS09">[BBS09]</a> <a href="chapBib.html#biBBS01">[BS01]</a> <a href="chapBib.html#biBBro01">[Bro01]</a> <a href="chapBib.html#biBBro08">[Bro08]</a> <a href="chapBib.html#biBBro03">[Bro03]</a> <a href="chapBib.html#biBBK06">[BK06]</a> <a href="chapBib.html#biBBK01">[BK01]</a> <a href="chapBib.html#biBCLG98">[CL98]</a> <a href="chapBib.html#biBCLGO06">[CLO06]</a> <a href="chapBib.html#biBCLG01">[CL01]</a> <a href="chapBib.html#biBCFL97">[CFL97]</a> <a href="chapBib.html#biBDLGO15">[DLO15]</a> <a href="chapBib.html#biBGH97">[GH97]</a> <a href="chapBib.html#biBGLGO06">[GLO06]</a> <a href="chapBib.html#biBHLGOR96a">[HLOR96a]</a> <a href="chapBib.html#biBHLGOR96b">[HLOR96b]</a> <a href="chapBib.html#biBHR94">[HR94]</a> <a href="chapBib.html#biBIL00">[IL00]</a> <a href="chapBib.html#biBKM13">[KM13]</a> <a href="chapBib.html#biBKM15">[KM15]</a> <a href="chapBib.html#biBLGO97a">[LO97a]</a> <a href="chapBib.html#biBLGO02">[LO02]</a> <a href="chapBib.html#biBLGO97b">[LO97b]</a> <a href="chapBib.html#biBLG01">[Lee01]</a> <a href="chapBib.html#biBLMO07">[LMO07]</a> <a href="chapBib.html#biBNP92">[NP92]</a> <a href="chapBib.html#biBNie05">[Nie05]</a> <a href="chapBib.html#biBO'B11">[O'B11] [O'B06] [Pak00] [Par84]




<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="chap8.html">8</a>  <a href="chap9.html">9</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.13 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.






                                                                                                                                                                                                                                                                                                                                                                                                     


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