Quelle chap1.html Sprache: HTML

products/Sources/formale Sprachen/GAP/pkg/agt/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 (AGT) - Chapter 1: The AGT package</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">Goto Chapter: <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="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>

<a href="chap1_mj.html">[MathJax on]</a>
<a id="X7BCEAE02860D32E2" name="X7BCEAE02860D32E2"></a>
<div class="ChapSects"><a href="chap1.html#X7BCEAE02860D32E2">1 The AGT package</a>
<div class="ContSect"> <a href="chap1.html#X7CA5AC377A6724DB">1.1 Installing AGT</a>

</div>
<div class="ContSect"> <a href="chap1.html#X84B0208B7C1FBB9D">1.2 Loading AGT</a>

</div>
<div class="ContSect"> <a href="chap1.html#X8642BB03847ED130">1.3 Citing AGT</a>

</div>
<div class="ContSect"> <a href="chap1.html#X80A66A0D808582A3">1.4 Examples of the use of AGT</a>

</div>
</div>

<h3>1 The AGT package</h3>

This is the manual for the AGT package version 0.3.1, developed at Queen Mary University of London by Rhys J. Evans.

The AGT package contains a methods used for the determination of various algebraic and regularity properties of graphs, as well as certain substructures of graphs. The package also contains a library of strongly regular graphs, intended to be a useful resource for computational experiments.

All of the functions in this package deal with finite simple graphs in Grape format <a href="chapBib.html#biBGRAPE_2018">[Soi18]</a>. Behind the scenes, we also use the Digraphs package <a href="chapBib.html#biBDIGRAPHS_2019">[DBJM+19]</a> to format and efficiently store and access the graphs in the strongly regular graph library.

<a id="X7CA5AC377A6724DB" name="X7CA5AC377A6724DB"></a>

<h4>1.1 Installing AGT</h4>

To install the AGT package, you will need to download the most recent <code class="code">tar.gz</code> file, found at https://gap-packages.github.io/agt/. Once downloaded, you can install the package by following the instructions found in the GAP reference manual, <a href="https://docs.gap-system.org/doc/ref/chap76.html">chapter 76</a>.

The AGT package requires the following GAP packages:

<ul>
<li>GAPDoc <a href="chapBib.html#biBGAPDOC_2019">[LN19]</a>, version 1.6 or higher;

</li>
<li>DESIGN <a href="chapBib.html#biBDESIGN_2019">[Soi19]</a>, version 1.7 or higher;

</li>
<li>GRAPE <a href="chapBib.html#biBGRAPE_2018">[Soi18]</a>, version 4.8 or higher;

</li>
<li>Digraphs <a href="chapBib.html#biBDIGRAPHS_2019">[DBJM+19]</a>, version 0.12.2 or higher.

</li>
</ul>
Each of the above packages are part of the standard GAP distribution.

<a id="X84B0208B7C1FBB9D" name="X84B0208B7C1FBB9D"></a>

<h4>1.2 Loading AGT</h4>

Once correctly installed, you can load the AGT package at the GAP prompt by typing the following.

<div class="example"><pre>
gap> LoadPackage("agt");
true
</pre></div>

<a id="X8642BB03847ED130" name="X8642BB03847ED130"></a>

<h4>1.3 Citing AGT</h4>

If you use the AGT package in your research, please tell us about it by emailing <a href="mailto:r.evans@qmul.ac.uk">r.evans@qmul.ac.uk</a>. We are interested in any research involving the use of the AGT package and might refer to your work in the future. If you wish to refer to the AGT package in a published work, please cite AGT like a journal article. The following is a BibTeX entry for the current AGT version:

<div class="example"><pre>
@Manual{agt,
 author = {Evans, Rhys J.},
 key = {agt},
 title = {{AGT -- Algebraic Graph Theory package for GAP, Version 0.3.1}},
 url = {\verb+(https://gap-packages.github.io/agt/)+},
 year = {2020}
</pre></div>

<a id="X80A66A0D808582A3" name="X80A66A0D808582A3"></a>

<h4>1.4 Examples of the use of AGT</h4>

We will give a simple example of how to use the AGT package here. Further applications of the package can be found in <a href="chapBib.html#biBE_2020">[Eva20]</a>. In this example, we will examine the properties and subgraphs of the strongly regular graphs with parameters (16,6,2,2).

<div class="example"><pre>
gap> LoadPackage("agt");
true
gap> IsFeasibleSRGParameters([16,6,2,2]); 
true
gap> NrSRGs([16,6,2,2]);
2
gap> IsEnumeratedSRGParameterTuple([16,6,2,2]);
true
gap> graphs:=AllSRGs([16,6,2,2]);;
gap> LeastEigenvalueFromSRGParameters([16,6,2,2]);
-2
gap> LeastEigenvalueInterval(graphs[1],1/10);
[ -2, -2 ]
gap> HoffmanCliqueBound([16,6,2,2]); 
4
gap> CliqueAdjacencyBound([16,6,2]);
4
gap> S:=[1,2,3,4];
[ 1, 2, 3, 4 ]
gap> Nexus(graphs[1],S);
1
gap> RegularSetParameters(graphs[1],S);
[ 3, 1 ]

</pre></div>

<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">Goto Chapter: <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="chapBib.html">Bib</a> <a href="chapInd.html">Ind</a> </div>

<hr />
generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a>
</body>
</html>

quality100%

¤ Dauer der Verarbeitung: 0.2 Sekunden (vorverarbeitet) ¤

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.