Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 91213ddcfbe7f54821d42c2d9e091326 > files > 193

gap-system-packages-4.4.12-5mdv2010.0.i586.rpm

<?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 (HAP) - Chapter 25:  Miscellaneous</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" />
</head>
<body>


<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="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chap14.html">14</a>  <a href="chap15.html">15</a>  <a href="chap16.html">16</a>  <a href="chap17.html">17</a>  <a href="chap18.html">18</a>  <a href="chap19.html">19</a>  <a href="chap20.html">20</a>  <a href="chap21.html">21</a>  <a href="chap22.html">22</a>  <a href="chap23.html">23</a>  <a href="chap24.html">24</a>  <a href="chap25.html">25</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop">&nbsp;<a href="chap0.html">Top of Book</a>&nbsp;  &nbsp;<a href="chap24.html">Previous Chapter</a>&nbsp;  &nbsp;<a href="chapInd.html">Next Chapter</a>&nbsp;  </div>

<p><a id="X7C5563A37D566DA5" name="X7C5563A37D566DA5"></a></p>
<div class="ChapSects"><a href="chap25.html#X7C5563A37D566DA5">25. <span class="Heading"> Miscellaneous</span></a>
</div>

<h3>25. <span class="Heading"> Miscellaneous</span></h3>

<div class="pcenter"><table class="GAPDocTable">
<tr>
<td class="tdleft"><code class="code"> BigStepLCS(G,n) </code></p>

<p>Inputs a group G and a positive integer n. It returns a subseries G=L_1&gt;L_2&gt;... L_k=1 of the lower central series of G such that L_i/L_i+1 has order greater than n.</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> Classify(L,Inv) </code></p>

<p>Inputs a list of objects L and a function Inv which computes an invariant of each object. It returns a list of lists which classifies the objects of L according to the invariant..</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> RefineClassification(C,Inv) </code></p>

<p>Inputs a list C:=Classify(L,OldInv) and returns a refined classification according to the invariant Inv.</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> Compose(f,g) </code></p>

<p>Inputs two FpG-module homomorphisms f:M --&gt; N and g:L --&gt; M with Source(f)=Target(g) . It returns the composite homomorphism fg:L --&gt; N .</p>

<p>This also applies to group homomorphisms f,g.</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> HAPcopyright() </code></p>

<p>This function provides details of HAP'S GNU public copyright licence.</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> IsLieAlgebraHomomorphism(f) </code></p>

<p>Inputs an object f and returns true if f is a homomorphism f:A --&gt; B of Lie algebras (preserving the Lie bracket).</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> IsSuperperfect(G) </code></p>

<p>Inputs a group G and returns "true" if both the first and second integral homology of G is trivial. Otherwise, it returns "false".</td>
</tr>
<tr>
<td class="tdleft"><code class="code">MakeHAPManual()</code></p>

<p>This function creates the manual for HAP from an XML file.</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> PermToMatrixGroup(G,n) </code></p>

<p>Inputs a permutation group G and its degree n. Returns a bijective homomorphism f:G --&gt; M where M is a group of permutation matrices.</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> SolutionsMatDestructive(M,B) </code></p>

<p>Inputs an m×n matrix M and a k×n matrix B over a field. It returns a k×m matrix S satisfying SM=B.</p>

<p>The function will leave matrix M unchanged but will probably change matrix B.</p>

<p>(This is a trivial rewrite of the standard GAP function SolutionMatDestructive(&lt;mat&gt;,&lt;vec&gt;) .)</td>
</tr>
<tr>
<td class="tdleft"><code class="code"> TestHap() </code></p>

<p>This runs a representative sample of HAP functions and checks to see that they produce the correct output.</td>
</tr>
</table><br /><p>&nbsp;</p><br />
</div>


<div class="chlinkprevnextbot">&nbsp;<a href="chap0.html">Top of Book</a>&nbsp;  &nbsp;<a href="chap24.html">Previous Chapter</a>&nbsp;  &nbsp;<a href="chapInd.html">Next Chapter</a>&nbsp;  </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="chap10.html">10</a>  <a href="chap11.html">11</a>  <a href="chap12.html">12</a>  <a href="chap13.html">13</a>  <a href="chap14.html">14</a>  <a href="chap15.html">15</a>  <a href="chap16.html">16</a>  <a href="chap17.html">17</a>  <a href="chap18.html">18</a>  <a href="chap19.html">19</a>  <a href="chap20.html">20</a>  <a href="chap21.html">21</a>  <a href="chap22.html">22</a>  <a href="chap23.html">23</a>  <a href="chap24.html">24</a>  <a href="chap25.html">25</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>