Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/corefreesub/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 29.7.2024 mit Größe 12 kB image not shown  

Quelle  chap4.html   Sprache: HTML

 
 products/Sources/formale Sprachen/GAP/pkg/corefreesub/doc/chap4.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 (corefreesub) - Chapter 4: Drawing the Faithful Transitive Permutation Representation Graph</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="chap4"  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="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="chap3.html">[Previous Chapter]</a>    <a href="chapBib.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap4_mj.html">[MathJax on]</a></p>
<p><a id="X85BCED3F87DE1C07" name="X85BCED3F87DE1C07"></a></p>
<div class="ChapSects"><a href="chap4.html#X85BCED3F87DE1C07">4 <span class="Heading">Drawing the Faithful Transitive Permutation Representation Graph</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X82F35AB4823114BD">4.1 <span class="Heading">Drawing functions</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X785A165E8417A1D8">4.1-1 DotFTPRGraph</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X8692BA897CFF04D4">4.1-2 DrawFTPRGraph</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X7D0B40427CC8BFC5">4.1-3 TeXFTPRGraph</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap4.html#X8721FD6E83582BA3">4.1-4 DrawTeXFTPRGraph</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap4.html#X8099E0467907387C">4.2 <span class="Heading">Information Level of Drawing Functions</span></a>
</span>
</div>
</div>

<h3>4 <span class="Heading">Drawing the Faithful Transitive Permutation Representation Graph</span></h3>

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

<h4>4.1 <span class="Heading">Drawing functions</span></h4>

<p>One of the advantages of Faithful Transitive Permutation Representation Graph are on Groups generated by involutions, such as C-groups. These graphs are very useful in the research of abstract polytopes and hypertopes, mainly called as "Schreier coset graphs" or "CPR graphs" in this area. Here we will give a function that builds this graph given a permutation group generated by involutions, a group and one of its core-free subgroups or by giving an isomorphism of the group into the symmetric group acting faithfully and transitively on its domain. To use Graphviz in order to create the image file, you need to be running GAP on a Linux Environment (Windows Subsystem for Linux is supported), with graphviz installed.</p>

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

<h5>4.1-1 DotFTPRGraph</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DotFTPRGraph</code>( <var class="Arg">G</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DotFTPRGraph</code>( <var class="Arg">G</var>[, <var class="Arg">generators_name</var>] )</td><td class="tdright">( operation )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DotFTPRGraph</code>( <var class="Arg">map</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DotFTPRGraph</code>( <var class="Arg">map</var>[, <var class="Arg">generators_name</var>] )</td><td class="tdright">( operation )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DotFTPRGraph</code>( <var class="Arg">H</var>, <var class="Arg">K</var> )</td><td class="tdright">( operation )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DotFTPRGraph</code>( <var class="Arg">H</var>, <var class="Arg">K</var>[, <var class="Arg">generators_name</var>] )</td><td class="tdright">( operation )</td></tr></table></div>
<p>Returns: a graph written in dot</p>

<p>Given a transitive permutation group <var class="Arg">G</var>, a faithful transitive permutation representation of a group <var class="Arg">map</var> or a group <var class="Arg">H</var> and one of its core-free subgroups <var class="Arg">K</var>, the function will output the permutation representation graph written in the language of a Dot file. If given a list of the name of the generators <var class="Arg">generators_name</var>, these will be given to the label of their action on the graph. Otherwise, the labels will be <var class="Arg">r0, r1, r2, ...</var> for the generators <var class="Arg">G.1, G.2, G.3, ...</var>.</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">G:= Group((1,2),(2,3),(3,4));; H :=Subgroup(G,[(1,2),(2,3)]);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">dotprint := DotFTPRGraph(G);</span>
"digraph {\n1 -> 2 [label = r1,dir=none];\n 2 -> 3 [label = r2,dir=none];\n 3 \
-> 4 [label = r3,dir=none];\n }\n"
<span class="GAPprompt">gap></span> <span class="GAPinput">Print(dotprint);</span>
digraph {
1 -> 2 [label = r1,dir=none];
 2 -> 3 [label = r2,dir=none];
 3 -> 4 [label = r3,dir=none];
 }
<span class="GAPprompt">gap></span> <span class="GAPinput">Print(DotFTPRGraph(G,H,["A","B","C"]));</span>
digraph {
3 -> 4 [label = A,dir=none];
 2 -> 3 [label = B,dir=none];
 1 -> 2 [label = C,dir=none];
 }
</pre></div>

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

<h5>4.1-2 DrawFTPRGraph</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DrawFTPRGraph</code>( <var class="Arg">arg</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: an image of the faithful transitive permutation representation graph</p>

<p>This global function takes as input the following arguments:</p>


<ul>
<li><p><var class="Arg">arg</var> := <var class="Arg">dotstring</var>[, <var class="Arg">rec</var>]</p>

</li>
<li><p><var class="Arg">arg</var> := <var class="Arg">G</var>[, <var class="Arg">rec</var>]</p>

</li>
<li><p><var class="Arg">arg</var> := <var class="Arg">map</var>[,<var class="Arg">rec</var>]</p>

</li>
<li><p><var class="Arg">arg</var> := <var class="Arg">H</var>,<var class="Arg">K</var>[,<var class="Arg">rec</var>]</p>

</li>
</ul>
<p>Given a string of a graph in dot <var class="Arg">dotstring</var>, this function will output and show an image of the graph. Alternatively, a transitive permutation group <var class="Arg">G</var>, a faithful transitive permutation representation of a group <var class="Arg">map</var> or a group <var class="Arg">H</var> and one of its core-free subgroups <var class="Arg">K</var>, can be given. This will use <var class="Arg">DotFTPRGraph</var> to calculate the <var class="Arg">dotstring</var>. Moreover, extra parameters can be given as a form of a record <var class="Arg">rec</var>. The set of parameters that can be given inside a record can be found below, with information regarding their effect:</p>


<ul>
<li><p><var class="Arg">layout</var> - (a string) the engine that is used to calculate the layout of the vertices and edges of graph to output in the dot image (not used for TeX output). The supported layouts are "dot", "neato", "twopi", "circo", "fdp", "sfdp", "patchwork", "osage". By default "neato" is used.</p>

</li>
<li><p><var class="Arg">directory</var> - (a string) the name of the folder where the dot and image files are created. By default, a temporary folder of GAP is used.</p>

</li>
<li><p><var class="Arg">path</var> - (a string) the path where the directory will be created. If the directory is not specified, a folder "tmp.viz" will be created at the determined path. If no path is given, the default path is "~/". If no path nor directory is given, it will be saved in a temporary path of GAP.</p>

</li>
<li><p><var class="Arg">file</var> - (a string) the name of the dot and image files created. By default, the name will be "vizpicture".</p>

</li>
<li><p><var class="Arg">filetype</var> - (a string) the image file type that will be created. By default, the filetype will be "pdf".</p>

</li>
<li><p><var class="Arg">viewer</var> - (a string) the name of the visualizer used to open the image. The supported ones are "evince","xpdf","xdg-open","okular", "gv", "open" (for the different System Architectures).</p>

</li>
<li><p><var class="Arg">tikz</var> - (a boolean) if true, then the function will produce a TeX file, compile it to pdf and open.</p>

</li>
<li><p><var class="Arg">viewtexfile</var> - (a boolean) if true, then the function will produce a TeX file and return the text of the Tex file (but it will not compile and open any pdf from the TeX file).</p>

</li>
</ul>

<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">G:= SymmetricGroup(4);;H:= Subgroup(G,[(1,2)]);;K:= Subgroup(G,[(1,2,3)]);;</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">DrawFTPRGraph(G);</span>
<span class="GAPprompt">gap></span> <span class="GAPinput">texfile := DrawFTPRGraph(G,H,rec(viewtexfile := true));; </span>
<span class="GAPprompt">gap></span> <span class="GAPinput">Print(texfile{[1..115]});</span>
\documentclass{article}
\usepackage[x11names, svgnames, rgb]{xcolor}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
<span class="GAPprompt">gap></span> <span class="GAPinput">DrawFTPRGraph(FactorCosetAction(G,K),rec(directory := "myfolder", layout:="fdp"));;</span>
</pre></div>

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

<h5>4.1-3 TeXFTPRGraph</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ TeXFTPRGraph</code>( <var class="Arg">arg</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: an image of the faithful transitive permutation representation graph</p>

<p>The same as <var class="Arg">DrawFTPRGraph</var> with the parameter <var class="Arg">viewtexfile := true</var>.</p>

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

<h5>4.1-4 DrawTeXFTPRGraph</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ DrawTeXFTPRGraph</code>( <var class="Arg">arg</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Returns: an image of the faithful transitive permutation representation graph</p>

<p>The same as <var class="Arg">DrawFTPRGraph</var> with the parameter <var class="Arg">tikz := true</var>.</p>

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

<h4>4.2 <span class="Heading">Information Level of Drawing Functions</span></h4>

<p>We can set the amount of verbosity of the functions "DrawFTPRGraph", "TeXFTPRGraph" and "DrawTeXFTPRGraph", which can be controlled by the <var class="Arg">InfoDrawFTPR</var> variable. As of right now, there are only two levels of the <var class="Arg">InfoDrawFTPR</var> and, by default, the level is set as 1. To change to level 2, you can do the following:</p>


<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">SetInfoLevel(InfoDrawFTPR,2);</span>
</pre></div>

<p>Particularly, <var class="Arg">InfoDrawFTPR</var> in level 2 will give information regarding the location in which the files are being created and processed.</p>


<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap3.html">[Previous Chapter]</a>    <a href="chapBib.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="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>

100%


¤ Dauer der Verarbeitung: 0.1 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.