Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/atlasrep/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 22.7.2024 mit Größe 30 kB image not shown  

Quelle  chap0.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/atlasrep/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 (AtlasRep) - 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="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><strong class="pkg">AtlasRep</strong> — A GAP 4 Package</h1>

<p>(Version 2.1.9)</p>

</div>
<p><b>Robert A. Wilson
    
    
  </b>
<br />Email: <span class="URL"><a href="mailto:R.A.Wilson@qmul.ac.uk">R.A.Wilson@qmul.ac.uk</a></span>
<br />Homepage: <span class="URL"><a href="http://www.maths.qmw.ac.uk/~raw">http://www.maths.qmw.ac.uk/~raw</a></span>
</p><p><b>Richard A. Parker
    
  </b>
<br />Email: <span class="URL"><a href="mailto:richpark@gmx.co.uk">richpark@gmx.co.uk</a></span>
</p><p><b>Simon Nickerson
    
  </b>
<br />Homepage: <span class="URL"><a href="http://nickerson.org.uk/groups">http://nickerson.org.uk/groups</a></span>
</p><p><b>John N. Bray
    
    
  </b>
<br />Email: <span class="URL"><a href="mailto:J.N.Bray@qmul.ac.uk">J.N.Bray@qmul.ac.uk</a></span>
<br />Homepage: <span class="URL"><a href="http://www.maths.qmw.ac.uk/~jnb">http://www.maths.qmw.ac.uk/~jnb</a></span>
</p><p><b>Thomas Breuer
    
    
  </b>
<br />Email: <span class="URL"><a href="mailto:sam@Math.RWTH-Aachen.De">sam@Math.RWTH-Aachen.De</a></span>
<br />Homepage: <span class="URL"><a href="https://www.math.rwth-aachen.de/~Thomas.Breuer">https://www.math.rwth-aachen.de/~Thomas.Breuer</a></span>
</p>

<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>© 2002–2024</p>

<p>This package may be distributed under the terms and conditions of the GNU Public License Version 3 or later, see <span class="URL"><a href="http://www.gnu.org/licenses">http://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#X780A68B584B7F3DF">1 <span class="Heading">Introduction to the <strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7A76DF957E7AF8AE">1.1 <span class="Heading">The <strong class="pkg">ATLAS</strong> of Group Representations</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X8033B61682EE6A23">1.2 <span class="Heading">The GAP Interface to the <strong class="pkg">ATLAS</strong> of Group Representations</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7B864EDC7CB211FD">1.3 <span class="Heading">What's New in AtlasRep, Compared to Older Versions?

</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7E024E377C2E8C27">1.3-1 <span class="Heading">What's New in Version 2.1.9?
(August 2024)</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X85FE8BE580751F58">1.3-2 <span class="Heading">What's New in Version 2.1.8? (January 2024)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7B5DB23579AD1066">1.3-3 <span class="Heading">What's New in Version 2.1.7? (August 2023)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7D4644167F6C9D4C">1.3-4 <span class="Heading">What's New in Version 2.1.6? (October 2022)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X823B2D767C11246A">1.3-5 <span class="Heading">What's New in Version 2.1.5? (August 2022)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7BEBD3618260FE03">1.3-6 <span class="Heading">What's New in Version 2.1.4? (August 2022)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7DB709CD7FECC9B1">1.3-7 <span class="Heading">What's New in Version 2.1.3? (August 2022)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7A2A60D7841AF2CE">1.3-8 <span class="Heading">What's New in Version 2.1.2? (March 2022)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7B0E14E57E9FC37E">1.3-9 <span class="Heading">What's New in Version 2.1.1? (February 2022)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7DA8E7647A422775">1.3-10 <span class="Heading">What's New in Version 2.1.0? (May 2019)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7EACAC887E257302">1.3-11 <span class="Heading">What's New in Version 1.5.1? (March 2016)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X86002B747AE0741B">1.3-12 <span class="Heading">What's New in Version 1.5? (July 2011)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X878EBA108716DDF0">1.3-13 <span class="Heading">What's New in Version 1.4? (June 2008)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X87A53CE182C9E086">1.3-14 <span class="Heading">What's New in Version 1.3.1? (October 2007)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X79CCC5517897924C">1.3-15 <span class="Heading">What's New in Version 1.3? (June 2007)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X7BDCA94D83DCFFB8">1.3-16 <span class="Heading">What's New in Version 1.2? (November 2003)
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1.html#X831628B47F669B29">1.3-17 <span class="Heading">What's New in Version 1.1? (October 2002)
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X82A988D47DFAFCFA">1.4 <span class="Heading">Acknowledgements</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2.html#X8171B3798425E183">2 <span class="Heading">Tutorial for the <strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X79CECBFE7A8EE2C2">2.1 <span class="Heading">Accessing a Specific Group in <strong class="pkg">AtlasRep</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X87CD0FFB87D0BDD7">2.1-1 <span class="Heading">Accessing a Group in <strong class="pkg">AtlasRep</strong> via its Name</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X826C681B7EB3B67A">2.1-2 <span class="Heading">Accessing a Maximal Subgroup of a Group in <strong class="pkg">AtlasRep</strong></span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7F616D9685292471">2.2 <span class="Heading">Accessing Specific Generators in <strong class="pkg">AtlasRep</strong></span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7D3A29F879B140D3">2.3 <span class="Heading">Basic Concepts used in <strong class="pkg">AtlasRep</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7E2FB5E5852AD970">2.3-1 <span class="Heading">Groups, Generators, and Representations</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7DC99E4284093FBB">2.3-2 <span class="Heading">Straight Line Programs</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X87ACE06E82B68589">2.4 <span class="Heading">Examples of Using the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X8563D96878AC685C">2.4-1 <span class="Heading">Example: Class Representatives</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X81C9233778A3A817">2.4-2 <span class="Heading">Example: Permutation and Matrix Representations</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X8284D7E87D38889C">2.4-3 <span class="Heading">Example: Outer Automorphisms</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X794D669E7A507310">2.4-4 <span class="Heading">Example: Using Semi-presentations and Black Box Programs</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7CE7C2068017525C">2.4-5 <span class="Heading">Example: Using the <strong class="pkg">GAP</strong> Library of Tables of Marks</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X82550A9683E0DCA2">2.4-6 <span class="Heading">Example: Index <span class="SimpleMath">770</span> Subgroups in <span class="SimpleMath">M_22</span></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X84F9D163795B7DE1">2.4-7 <span class="Heading">Example: Index <span class="SimpleMath">462</span> Subgroups in <span class="SimpleMath">M_22</span></span></a>
</span>
</div></div>
</div>
<div class="ContChap"><a href="chap3.html#X87EAF8E578D95793">3 <span class="Heading">The User Interface of the <strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X87D26B13819A8209">3.1 <span class="Heading">Accessing vs. Constructing Representations</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X81BF52FC7B8C08D4">3.2 <span class="Heading">Group Names Used in the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X795DB7E486E0817D">3.3 <span class="Heading">Standard Generators Used in the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X861CD545803B97E8">3.4 <span class="Heading">Class Names Used in the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X850EEDEE831EE039">3.4-1 <span class="Heading">Definition of <strong class="pkg">ATLAS</strong> Class Names</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X78166D1D7D18EFBF">3.4-2 AtlasClassNames</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7B14A254870BA5A1">3.4-3 AtlasCharacterNames</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7CC88B2287A72204">3.5 <span class="Heading">Accessing Data via <strong class="pkg">AtlasRep</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X79DACFFA7E2D1A99">3.5-1 DisplayAtlasInfo</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7CE4FF2380DB47F2">3.5-2 <span class="Heading">Examples for DisplayAtlasInfo</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7D1CCCF8852DFF39">3.5-3 AtlasGenerators</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X801F2E657C8A79ED">3.5-4 AtlasProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X83DFD8967E6BC831">3.5-5 AtlasProgramInfo</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X841478AB7CD06D44">3.5-6 OneAtlasGeneratingSetInfo</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X84C2D76482E60E42">3.5-7 AllAtlasGeneratingSetInfos</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X80AABEE783363B70">3.5-8 <span class="Heading">AtlasGroup</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7A3E460C82B3D9A3">3.5-9 <span class="Heading">AtlasSubgroup</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X87BC7D9C7BA2F27A">3.5-10 AtlasRepInfoRecord</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X87B012B080D01413">3.5-11 <span class="Heading">EvaluatePresentation</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X79F63403821C1E24">3.5-12 <span class="Heading">StandardGeneratorsData</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X790D5F8C7E8E6947">3.6 <span class="Heading"><strong class="pkg">Browse</strong> Applications Provided by <strong class="pkg">AtlasRep</strong></span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X7F31A7CB841FE63F">3.6-1 BrowseMinimalDegrees</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap3.html#X84ED4FC182C28198">3.6-2 BrowseBibliographySporadicSimple</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap4.html#X797694467B534D0E">4 <span class="Heading">Customizations of the <strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X7F25ECBA7B675901">4.1 <span class="Heading">Installing the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X851A50E6810EF8C5">4.2 <span class="Heading">User Preferences of the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7C3293A98577EE68">4.2-1 <span class="Heading">User preference <code class="code">AtlasRepAccessRemoteFiles</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7C36E9A78021A71A">4.2-2 <span class="Heading">User preference <code class="code">AtlasRepDataDirectory</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7F21FFBE7F8108E4">4.2-3 <span class="Heading">User preference <code class="code">AtlasRepTOCData</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X8766BE5D7AD6C526">4.2-4 <span class="Heading">User preference <code class="code">CompressDownloadedMeatAxeFiles</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X81AD105979465162">4.2-5 <span class="Heading">User preference <code class="code">FileAccessFunctions</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X85C48D6D81095161">4.2-6 <span class="Heading">User preference <code class="code">AtlasRepLocalServerPath</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X79993585808450FA">4.2-7 <span class="Heading">User preference <code class="code">HowToReadMeatAxeTextFiles</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7B8F757B85F87936">4.2-8 <span class="Heading">User preference <code class="code">WriteHeaderFormatOfMeatAxeFiles</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7941C4378261E28A">4.2-9 <span class="Heading">User preference <code class="code">WriteMeatAxeFilesOfMode2</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X877E40DB7A4E36C9">4.2-10 <span class="Heading">User preference <code class="code">BaseOfMeatAxePermutation</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X81F055037F9D3068">4.2-11 <span class="Heading">User preference <code class="code">DisplayFunction</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X862C660878D422FA">4.2-12 <span class="Heading">User preference <code class="code">AtlasRepMarkNonCoreData</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X80958D068147325B">4.2-13 <span class="Heading">User preference <code class="code">DebugFileLoading</code></span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X850D135E79EFF3F7">4.2-14 <span class="Heading">User preference <code class="code">AtlasRepJsonFilesAddresses</code></span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X7C50F18587ADC3B5">4.3 <span class="Heading">Web Contents for the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X7FB64AD37D4620E6">4.4 <span class="Heading">Extending the <strong class="pkg">ATLAS</strong> Database</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap5.html#X7B0718A178BB10CA">5 <span class="Heading">Extensions of the <strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X78E7F7347DE8A125">5.1 <span class="Heading">Notify Additional Data</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X81B5FA0578257653">5.1-1 <span class="Heading">AtlasOfGroupRepresentationsNotifyData</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X7E0DC24681F17A9D">5.1-2 AtlasOfGroupRepresentationsForgetData</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap5.html#X81C5440983E47DBD">5.1-3 StringOfAtlasTableOfContents</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7A6024EC87A95E0B">5.2 <span class="Heading">The Effect of Extensions on the User Interface</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap5.html#X7E7307FC835D09DF">5.3 <span class="Heading">An Example of Extending the <strong class="pkg">AtlasRep</strong> Data</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap6.html#X83827EDB7D36C407">6 <span class="Heading">New <strong class="pkg">GAP</strong> Objects and Utility Functions provided by the
<strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X8121E9567A7137C9">6.1 <span class="Heading">Straight Line Decisions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X8787E2EC7DB85A89">6.1-1 IsStraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X82AFAD9F7FA5CE8A">6.1-2 LinesOfStraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7B1A43427BD97FDF">6.1-3 NrInputsOfStraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X82A3632782E45F35">6.1-4 ScanStraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X825C4E4180F3D989">6.1-5 StraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7E7B328A84685480">6.1-6 ResultOfStraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7C94ECAC8583CEAE">6.1-7 <span class="Heading">Semi-Presentations and Presentations</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7C13D08C7D55E20A">6.1-8 AsStraightLineDecision</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7EA613C57DDC67D5">6.1-9 StraightLineProgramFromStraightLineDecision</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7BE856BC785A9E8F">6.2 <span class="Heading">Black Box Programs</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X87CAF2DE870D0E3B">6.2-1 IsBBoxProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7EA20532868F9863">6.2-2 ScanBBoxProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7D211A5D8602B330">6.2-3 RunBBoxProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X869BACFB80A3CC87">6.2-4 ResultOfBBoxProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X826ACFE887E0B6B8">6.2-5 AsBBoxProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7D36DFA87C8B2C48">6.2-6 AsStraightLineProgram</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X87E1F08D80C9E069">6.3 <span class="Heading">Representations of Minimal Degree</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7DC66D8282B2BB7F">6.3-1 MinimalRepresentationInfo</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7E1B76DC86A8C405">6.3-2 MinimalRepresentationInfoData</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X79C4C9F683E919C9">6.3-3 SetMinimalRepresentationInfo</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7FC33DFF8481F8D1">6.3-4 <span class="Heading">Criteria Used to Compute Minimality Information</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap6.html#X7E5CB1637F127B2E">6.4 <span class="Heading">A JSON Interface</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X7870BBB184574D18">6.4-1 <span class="Heading">Why JSON?</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X87A307D284975AA9">6.4-2 AGR.JsonText</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap6.html#X79DF4DC67DCFE27B">6.4-3 AGR.GapObjectOfJsonText</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap7.html#X7F77634D817156B3">7 <span class="Heading">Technicalities of the <strong class="pkg">AtlasRep</strong> Package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7DC2B7917DC30B28">7.1 <span class="Heading">Global Variables Used by the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X8006BE167EB81E16">7.1-1 InfoAtlasRep</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X78601C3A87921E08">7.1-2 InfoCMeatAxe</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X80D5EF9A7FEF124B">7.1-3 InfoBBox</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X84A157BF7D0CB270">7.1-4 AGR</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X7BEC94A6781E126E">7.1-5 AtlasOfGroupRepresentationsInfo</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X81C5B5E78215169D">7.2 <span class="Heading">How to Customize the Access to Data files</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7D76D4437A9646E7">7.3 <span class="Heading">Reading and Writing MeatAxe Format Files</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X83D5103780E1238F">7.3-1 ScanMeatAxeFile</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X7DDD09BE87063052">7.3-2 MeatAxeString</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X79D9AE4878E9DFA6">7.3-3 FFList</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X8477AA668733255C">7.3-4 CMtxBinaryFFMatOrPerm</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X872FA00C7F791FBB">7.3-5 FFMatOrPermCMtxBinary</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7FEE162B7F63BEA0">7.4 <span class="Heading">Reading and Writing <strong class="pkg">ATLAS</strong> Straight Line Programs</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X7D6617E47B013A37">7.4-1 ScanStraightLineProgram</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X82842D807A7B7DF7">7.4-2 AtlasStringOfProgram</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X809898027EFDA56E">7.5 <span class="Heading">Data Types Used in the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X836AA4EA8346BE5B">7.5-1 AGR.DeclareDataType</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7A86627B80980F61">7.6 <span class="Heading">Filenames Used in the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X8486CCB181FC99A3">7.6-1 AGR.ParseFilenameFormat</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X78AB92DB7C2CAB6E">7.6-2 AGR.FileContents</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7CCA3DE97E756F01">7.7 <span class="Heading">The record component <code class="code">identifier</code> used by the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X81685FC979BC3FB8">7.7-1 <span class="Heading">AtlasRepIdentifier</span></a>
</span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X7B1DECF080AEB806">7.8 <span class="Heading">The Tables of Contents of the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap7.html#X79C5F2267ACCF52A">7.9 <span class="Heading">Sanity Checks for the <strong class="pkg">AtlasRep</strong> Package</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X86FDCF0B85496AE5">7.9-1 <span class="Heading">Sanity Checks for a Table of Contents</span></a>
</span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap7.html#X7FBFA8D287B807D2">7.9-2 <span class="Heading">Other Sanity Checks</span></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="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.18 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.