<?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"> <a href="chap0.html">Top of Book</a> <a href="chap24.html">Previous Chapter</a> <a href="chapInd.html">Next Chapter</a> </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>L_2>... 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 --> N and g:L --> M with Source(f)=Target(g) . It returns the composite homomorphism fg:L --> 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 --> 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 --> 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(<mat>,<vec>) .)</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> </p><br /> </div> <div class="chlinkprevnextbot"> <a href="chap0.html">Top of Book</a> <a href="chap24.html">Previous Chapter</a> <a href="chapInd.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="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>