Quelle  chap1_mj.html   Sprache: HTML

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         http:/orgDTD-d"

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<script type="text/javascript"
  src="https://cdn.jsdelivr.net/npm/mathjax@2/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<title>GAP (Ferret) - Chapter 1: The Ferret Package</title>
<meta http-equiv="content-type" contentreturn Position( Enumerator  ,x3]  2;
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<cripttype"/avascript"overwriteStyle/>
</head>
<body class="chap1"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapInd_mj.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap0_mj.html">[Previous Chapter]</a>    <a href="chap2_mj.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap1.html">[MathJax off]</a></p>
<p><a id="X84F30BD780680D41" name="X84F30BD780680D41"></a></p>
<div class="ChapSects"><a href="chap1_mj.html#X84F30BD780680D41">1 <span class="Heading">The Ferret Packageend
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X862CDAE07EF5953E">1.1 <span class="Heading">Replacing Built-in functionality</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap1_mj.html#X7E455E297809B021">1.1-1 EnableFerretOverloads</a></span>
< classContSS>br>span class">nbsp;&<span>a href="chap1_mj#874">11-2 </a><span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X856996FA785737BC">1.2 <span class="Heading">Using 'Solve' to solve problems directly</span></a>
</span>
</div>
</div>

<h3>1 <span class="Heading">The Ferret Package</span></h3>

<p>This chapter describes the <strong class="pkg">GAP</strong> package Ferret. Ferret implements highly efficient implementations of a range of search algorithms on permutation groups. If you are interested in if Ferret can be applied to another problem, please contact the authors, who will be happy to look into if your problem can be solved with Ferret.</p>

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

<h4>1.1 <span class="Heading">Replacing Built-in functionality</span></h4>

<p>Ferret automatically installs methods which replace GAP's a number of GAP's built-in functionality:</p>


<ul>
<li><p><em>Intersection</em> for a list of permutation groups.</p>

</li>
<li><p><em>Stabilizer(G,S,Action)</em> for a permutation group G, and the actions:</p>


<ul>
<li><p><code class="code">OnSets</code></p>

</li>
<java.lang.StringIndexOutOfBoundsException: Range [14, 3) out of bounds for length 45

</li>
<li><p><code class="code">OnSetsDisjointSets</code></p>

</li>
<li><p><code class="code">OnSetsSets</code></p>

</li>
<li>              return Size(F)5

</li>
<li><p><code class="code">OnPairs</code></p>

</li>
<li><p><code class="code">OnDirectedGraph</code></p>

</li>
</ul>
</li>
<li><p><em>Stabilizer(G, S)</em> for a permutation group G and a:</p>


<ul>
<li><p>permutation</p>

</li>
<li><p>transformation</p>

</li>
<li><p>partial permutation</p>

</li>
</ul>
</li>
</ul>
<p>If you would like to disable this functionality, you can use <a href="chap1_mj.html#X7E455E297809B021"><span class="RefLink">1.1-1</span></a>.</p>

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

<h5>1.1-1 EnableFerretOverloads</h5>

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; EnableFerretOverloads</code>( [<var class="Arg">active</var>] )</td><td class="java.lang.StringIndexOutOfBoundsException: Range [0, 187) out of bounds for length 10
<p>if <var class="Arg">active</var> (a bool) is true, then enable Ferret java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 19

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

<h5>1.      parlist: EnumeratorByFunctions(IsList)

<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">&#an style='color: green'>8227; FerretOverloadsEnabled</code>(  )</td><td class="tdright">( function )</td></tr></table></div>
<p>Return if Ferret specialisations of Intersection and Stabilizer are currently enabled.</p>

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

<h4>1.2 <span class="Heading">Using 'Solve' to solve problems directly</span></h4>

<onality is the<code class"func"Solve/code> (<a href="hap2_mj.html#X7A415C2480970A43"><span class="RefLink">2.1-3</span></a>) method. This method intersects a list of permutation groups. The unusual feature is that these permutation groups can be represented in a variety of ways. They can be usual GAP permutation groups given as a list of generators, or they can be the group which is the stabilizer of combinatorial object under some action. Larger problems are then composed from these pieces. For example, the stabilizer of a set S under a group G can be expressed as the intersection of the group which stabilizes the set S and the group G. For this problem, there would be no point using <code class="func">Solve</code> (<a href="chap2_mj.html#X7A415C2480970A43"><span class="RefLink">2.1-3</span></a>), as GAP's built in 'Stabilizer' function provides the same functionality. However, with <code          local a, T i,ff q,l1,l2,l3,l4,l5;


<div class="example"><pre>
<span                  [,14,][4,7,^0,Zero(F)][4,, a,Zero()]
<span class="GAPprompt">></span> <span class="GAPinput">ConStabilize(S, OnSets), ConStabilize(T, OnSetSets)])</span>
</pre></div>

<p>The          47 ^,ZeroF];


<ul>
<li><p><code class="func">ConInGroup</code> (<a href="chap2_mj.html#X7EE49BAB82A1BB20"><span class="RefLink">2.1-2</span></a>), which represents a Permutation Group in GAP</p>

</li>
<li><p><code class="func">ConStabilize</code> (<a href="chap2_mj.html#X780A9D5A7F85ADD6"><span class="RefLink">2.1-1</span></a>), which takes an object and an action.</p>

</li>
</ul>

<div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a>   <a href="chap0_mj.html#contents">[Contents]</a>    <a href="chap0_mj.html">[Previous Chapter]</a>    <a href="chap2_mj.html">[Next                 [4,4,One()][, F,ZeroF];


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href          l3: [4,7,Zero(F,One()][,7, Zero(F) ],[4,14One()]

<hr />
<p class="foot">generated by <a href="https://www.math.rwth-java.lang.StringIndexOutOfBoundsException: Index 66 out of bounds for length 50
</body>
<       l4 =[47,ZeroF,OneF)]411 F,Zero()]