<?xml version="1.0" encoding="ISO-8859-1"?>
<!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 (nq) - Chapter 3: The Functions of the Package</title>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
</head>
<body>
<div class="pcenter"><table class="chlink"><tr><td class="chlink1">Goto Chapter: </td><td><a href="chap0.html">Top</a></td><td><a href="chap1.html">1</a></td><td><a href="chap2.html">2</a></td><td><a href="chap3.html">3</a></td><td><a href="chap4.html">4</a></td><td><a href="chap5.html">5</a></td><td><a href="chapBib.html">Bib</a></td><td><a href="chapInd.html">Ind</a></td></tr></table><br /></div>
<p><a id="s0ss0" name="s0ss0"></a></p>
<h3>3. The Functions of the Package</h3>
<p><a id="s1ss0" name="s1ss0"></a></p>
<h4>3.1 Nilpotent Quotients of Finitely Presented Groups</h4>
<p><a id="s1ss1" name="s1ss1"></a></p>
<h5>3.1-1 NilpotentQuotient</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NilpotentQuotient</code>( <var>[output-file,] fp-group[, id-gens][,][c]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NilpotentQuotient</code>( <var>[output-file,] input-file[, c]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The parameter <code class="file">fp-group</code> is either a finitely presented group or a record specifying a presentation by expression trees (see section <a href="chap2.html#s6ss0"><b>2.6</b></a>). The parameter <code class="file">input-file</code> is a string specifying the name of a file containing a finite presentation in the input format (cf. section <a href="chap2.html#s8ss0"><b>2.8</b></a>) of the ANU NQ. Such a file can be prepared by a text editor or with the help of the function <code class="func">NqStringFpGroup</code> (<a href="chap3.html#s3ss2"><b>3.3-2</b></a>).</p>
<p>Let G be the group defined by <code class="file">fp-group</code> or the group defined in <code class="file">input-file</code>. The function computes a nilpotent presentation for G/gamma_c+1(G) if the optional parameter <code class="file">c</code> is specified. If <code class="file">c</code> is not given, then the function attempts to compute the largest nilpotent quotient of G and it will terminate only if G has a largest nilpotent quotient. See section <a href="chap3.html#s5ss0"><b>3.5</b></a> for a possibility to follow the progress of the computation.</p>
<p>The optional argument <code class="file">id-gens</code> is a list of generators of the free group underlying the finitely presented group <code class="file">fp-group</code>. The generators in this list are treated as identical generators. Consequently, all relations of the <code class="file">fp-group</code> involving these generators are treated as identical relations for these generators.</p>
<p>In addition to the arguments explained above, the function accepts the following options as shown in the first example below:</p>
<ul>
<li><p><code class="keyw">group</code> This option can be used instead of the parameter <code class="file">fp-group</code>.</p>
</li>
<li><p><code class="keyw">input\_string</code> This option can be used to specify a finitely presented group by a string in the input format of the standalone program.</p>
</li>
<li><p><code class="keyw">input\_file</code> This option specifies a file with input for the standalone program.</p>
</li>
<li><p><code class="keyw">output\_file</code> This option specifies a file for the output of the standalone.</p>
</li>
<li><p><code class="keyw">idgens</code> This options specifies a list of identical generators.</p>
</li>
<li><p><code class="keyw">class</code> This option specifies the nilpotency class up to which the nilpotent quotient will be computed.</p>
</li>
</ul>
<p>The following example computes the class-5 quotient of the free group on two generators.</p>
<table class="example">
<tr><td><pre>
gap> F := FreeGroup( 2 );
<free group on the generators [ f1, f2 ]>
gap> ## Equivalent to: NilpotentQuotient( : group := F, class := 5 );
gap> ## NilpotentQuotient( F : class := 5 );
gap> H := NilpotentQuotient( F, 5 );
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
gap> lcs := LowerCentralSeries( H );;
gap> for i in [1..5] do Print( lcs[i] / lcs[i+1], "\n" ); od;
Pcp-group with orders [ 0, 0 ]
Pcp-group with orders [ 0 ]
Pcp-group with orders [ 0, 0 ]
Pcp-group with orders [ 0, 0, 0 ]
Pcp-group with orders [ 0, 0, 0, 0, 0, 0 ]
</pre></td></tr></table>
<p>Note that the lower central series in the example is part of the data returned by the standalone program. Therefore, the execution of the function LowerCentralSeries takes no time.</p>
<p>The next example computes the class-4 quotient of the infinite dihedral group. The group is soluble but not nilpotent. The first factor of its lower central series is a Klein four group and all the other factors are cyclic or order 2.</p>
<table class="example">
<tr><td><pre>
gap> F := FreeGroup( 2 );
<free group on the generators [ f1, f2 ]>
gap> G := F / [F.1^2, F.2^2];
<fp group on the generators [ f1, f2 ]>
gap> H := NilpotentQuotient( G, 4 );
Pcp-group with orders [ 2, 2, 2, 2, 2 ]
gap> lcs := LowerCentralSeries( H );;
gap> for i in [1..Length(lcs)-1] do
> Print( AbelianInvariants(lcs[i] / lcs[i+1]), "\n" );
> od;
[ 2, 2 ]
[ 2 ]
[ 2 ]
[ 2 ]
gap>
</pre></td></tr></table>
<p>In the following example identical generators are used in order to express the fact that the group is nilpotent of class 3. A group is nilpotent of class 3 if it satisfies the identical relation [x_1,x_2,x_3,x_4]=1 (cf. Section <a href="chap2.html#s5ss0"><b>2.5</b></a>). The result is the free nilpotent group of class 3 on two generators.</p>
<table class="example">
<tr><td><pre>
gap> F := FreeGroup( "a", "b", "w", "x", "y", "z" );
<free group on the generators [ a, b, w, x, y, z ]>
gap> G := F / [ LeftNormedComm( [F.3,F.4,F.5,F.6] ) ];
<fp group of size infinity on the generators [ a, b, w, x, y, z ]>
gap> ## The following is equivalent to:
gap> ## NilpotentQuotient( G : idgens := [F.3,F.4,F.5,F.6] );
gap> H := NilpotentQuotient( G, [F.3,F.4,F.5,F.6] );
Pcp-group with orders [ 0, 0, 0, 0, 0 ]
gap> NilpotencyClassOfGroup(H);
3
gap> LowerCentralSeries(H);
[ Pcp-group with orders [ 0, 0, 0, 0, 0 ], Pcp-group with orders [ 0, 0, 0 ],
Pcp-group with orders [ 0, 0 ], Pcp-group with orders [ ] ]
</pre></td></tr></table>
<p>The following example uses expression trees in order to specify the third Engel law for the free group on 3 generators.</p>
<table class="example">
<tr><td><pre>
gap> et := ExpressionTrees( 5 );
[ x1, x2, x3, x4, x5 ]
gap> comm := LeftNormedComm( [et[1], et[2], et[2], et[2]] );
Comm( x1, x2, x2, x2 )
gap> G := rec( generators := et, relations := [comm] );
rec( generators := [ x1, x2, x3, x4, x5 ],
relations := [ Comm( x1, x2, x2, x2 ) ] )
gap> H := NilpotentQuotient( G : idgens := [et[1],et[2]] );
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 4, 2, 2,
0, 6, 6, 0, 0, 2, 10, 10, 10 ]
gap> TorsionSubgroup( H );
Pcp-group with orders [ 2, 2, 2, 2, 2, 2, 2, 10, 10, 10 ]
gap> lcs := LowerCentralSeries( H );;
gap> NilpotencyClassOfGroup( H );
5
gap> for i in [1..5] do Print( lcs[i] / lcs[i+1], "\n" ); od;
Pcp-group with orders [ 0, 0, 0 ]
Pcp-group with orders [ 0, 0, 0 ]
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0 ]
Pcp-group with orders [ 2, 4, 2, 2, 0, 6, 6, 0, 0, 2 ]
Pcp-group with orders [ 10, 10, 10 ]
gap> for i in [1..5] do Print( AbelianInvariants(lcs[i]/lcs[i+1]), "\n" ); od;
[ 0, 0, 0 ]
[ 0, 0, 0 ]
[ 0, 0, 0, 0, 0, 0, 0, 0 ]
[ 2, 2, 2, 2, 2, 2, 2, 0, 0, 0 ]
[ 10, 10, 10 ]
</pre></td></tr></table>
<p>The example above also shows that the relative orders of an abelian polycyclic group need not be the abelian invariants (elementary divisors) of the group. Each zero corresponds to a generator of infinite order. The number of zeroes is always correct.</p>
<p><a id="s1ss2" name="s1ss2"></a></p>
<h5>3.1-2 NilpotentEngelQuotient</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NilpotentEngelQuotient</code>( <var>[output-file,] fp-group, n[, id-gens][,][c]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NilpotentEngelQuotient</code>( <var>[output-file,] input-file, n[, c]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This function is a special version of <code class="func">NilpotentQuotient</code> (<a href="chap3.html#s1ss1"><b>3.1-1</b></a>) which enforces the n-th Engel identity on the nilpotent quotients of the group specified by <code class="file">fp-group</code> or by <code class="file">input-file</code>. It accepts the same options as <code class="file">NilpotentQuotient</code>.</p>
<p>The Engel condition can also be enforced by using identical generators and the Engel law and <code class="func">NilpotentQuotient</code> (<a href="chap3.html#s1ss1"><b>3.1-1</b></a>). See the examples there.</p>
<p>The following example computes the relatively free fifth Engel group on two generators, determines its (normal) torsion subgroup and computes the corresponding quotient group. The quotient modulo the torsion subgroup is torsion-free. Therefore, there is a nilpotent presentation without power relations. The example computes a nilpotent presentation for the torsion free factor group through the upper central series. The factors of the upper central series in a torsion free group are torsion free. In this way one obtains a set of generators of infinite order and the resulting nilpotent presentation has no power relations.</p>
<table class="example">
<tr><td><pre>
gap> G := NilpotentEngelQuotient( FreeGroup(2), 5 );
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 10,
0, 0, 30, 0, 3, 3, 10, 2, 0, 6, 0, 0, 30, 2, 0, 9, 3, 5, 2, 6, 2, 10, 5, 5,
2, 0, 3, 3, 3, 3, 3, 5, 5, 3, 3 ]
gap> NilpotencyClassOfGroup(G);
9
gap> T := TorsionSubgroup( G );
Pcp-group with orders [ 3, 3, 2, 2, 3, 3, 2, 9, 3, 5, 2, 3, 2, 10, 5, 2, 3,
3, 3, 3, 3, 5, 5, 3, 3 ]
gap> IsAbelian( T );
true
gap> AbelianInvariants( T );
[ 3, 3, 3, 3, 3, 3, 3, 3, 30, 30, 30, 180, 180 ]
gap> H := G / T;
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 10,
0, 0, 30, 0, 5, 0, 2, 0, 0, 10, 0, 2, 5, 0 ]
gap> H := PcpGroupBySeries( UpperCentralSeries(H), "snf" );
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0 ]
gap> ucs := UpperCentralSeries( H );;
gap> for i in [1..NilpotencyClassOfGroup(H)] do
> Print( ucs[i]/ucs[i+1], "\n" );
> od;
Pcp-group with orders [ 0, 0 ]
Pcp-group with orders [ 0 ]
Pcp-group with orders [ 0, 0 ]
Pcp-group with orders [ 0, 0, 0 ]
Pcp-group with orders [ 0, 0, 0, 0, 0, 0 ]
Pcp-group with orders [ 0, 0, 0, 0 ]
Pcp-group with orders [ 0, 0 ]
Pcp-group with orders [ 0, 0, 0 ]
</pre></td></tr></table>
<p><a id="s1ss3" name="s1ss3"></a></p>
<h5>3.1-3 NqEpimorphismNilpotentQuotient</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqEpimorphismNilpotentQuotient</code>( <var>[output-file,] fp-group[, id-gens][,][c]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This function computes an epimorphism from the group G given by the finite presentation <code class="file">fp-group</code> onto G/gamma_c+1(G). If <code class="file">c</code> is not given, then the largest nilpotent quotient of G is computed and an epimorphism from G onto the largest nilpotent quotient of G. If G does not have a largest nilpotent quotient, the function will not terminate if c is not given.</p>
<p>The optional argument <code class="file">id-gens</code> is a list of generators of the free group underlying the finitely presented group <code class="file">fp-group</code>. The generators in this list are treated as identical generators. Consequently, all relations of the <code class="file">fp-group</code> involving these generators are treated as identical relations for these generators.</p>
<p>If identical generators are specified, then the epimorphism returned maps the group generated by the `non-identical' generators onto the nilpotent factor group. See the last example below.</p>
<p>The function understands the same options as the function <code class="func">NilpotentQuotient</code> (<a href="chap3.html#s1ss1"><b>3.1-1</b></a>).</p>
<table class="example">
<tr><td><pre>
gap> F := FreeGroup(3);
<free group on the generators [ f1, f2, f3 ]>
gap> phi := NqEpimorphismNilpotentQuotient( F, 5 );
[ f1, f2, f3 ] -> [ g1, g2, g3 ]
gap> Image( phi, LeftNormedComm( [F.3, F.2, F.1] ) );
g12
gap> F := FreeGroup( "a", "b" );
<free group on the generators [ a, b ]>
gap> G := F / [ F.1^2, F.2^2 ];
<fp group on the generators [ a, b ]>
gap> phi := NqEpimorphismNilpotentQuotient( G, 4 );
[ a, b ] -> [ g1, g2 ]
gap> Image( phi, Comm(G.1,G.2) );
g3*g4
gap> F := FreeGroup( "a", "b", "u", "v", "x" );
<free group on the generators [ a, b, u, v, x ]>
gap> a := F.1;; b := F.2;; u := F.3;; v := F.4;; x := F.5;;
gap> G := F / [ x^5, LeftNormedComm( [u,v,v,v] ) ];
<fp group of size infinity on the generators [ a, b, u, v, x ]>
gap> phi := NqEpimorphismNilpotentQuotient( G : idgens:=[u,v,x], class:=5 );
[ a, b ] -> [ g1, g2 ]
gap> U := Source(phi);
Group([ a, b ])
gap> ImageElm( phi, LeftNormedComm( [U.1*U.2, U.2^-1,U.2^-1,U.2^-1,] ) );
id
</pre></td></tr></table>
<p>Note that the last epimorphism is a map from the group generated by a and b onto the nilpotent quotient. The identical generators are used only to formulate the identical relator. They are not generators of the group G. Also note that the left-normed commutator above is mapped to the identity as G satisfies the specified identical law.</p>
<p><a id="s1ss4" name="s1ss4"></a></p>
<h5>3.1-4 LowerCentralFactors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> LowerCentralFactors</code>( <var>...</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This function accepts the same arguments and options as <code class="func">NilpotentQuotient</code> (<a href="chap3.html#s1ss1"><b>3.1-1</b></a>) and returns a list containing the abelian invariants of the central factors in the lower central series of the specified group.</p>
<table class="example">
<tr><td><pre>
gap> LowerCentralFactors( FreeGroup(2), 6 );
[ [ 0, 0 ], [ 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0 ],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0 ] ]
</pre></td></tr></table>
<p><a id="s2ss0" name="s2ss0"></a></p>
<h4>3.2 Expression Trees</h4>
<p><a id="s2ss1" name="s2ss1"></a></p>
<h5>3.2-1 ExpressionTrees</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> ExpressionTrees</code>( <var>m[, prefix]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> ExpressionTrees</code>( <var>str1, str2, str3, ...</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The argument <code class="file">m</code> must be a positive integer. The function returns a list with <code class="file">m</code> expression tree symbols named x1, x2,... The optional parameter <code class="file">prefix</code> must be a string and is used instead of <code class="file">x</code> if present.</p>
<p>Alternatively, the function can be executed with a list of strings <code class="file">str1</code>, <code class="file">str2</code>, .... It returns a list of symbols with these strings as names.</p>
<p>The following operations are defined for expression trees: multiplication, inversion, exponentiation, forming commutators, forming conjugates.</p>
<table class="example">
<tr><td><pre>
gap> t := ExpressionTrees( 3 );
[ x1, x2, x3 ]
gap> tree := Comm( t[1], t[2] )^3/LeftNormedComm( [t[1],t[2],t[3],t[1]] );
Comm( x1, x2 )^3/Comm( x1, x2, x3, x1 )
gap> t := ExpressionTrees( "a", "b", "x" );
[ a, b, x ]
gap> tree := Comm( t[1], t[2] )^3/LeftNormedComm( [t[1],t[2],t[3],t[1]] );
Comm( a, b )^3/Comm( a, b, x, a )
</pre></td></tr></table>
<p><a id="s2ss2" name="s2ss2"></a></p>
<h5>3.2-2 EvaluateExpTree</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> EvaluateExpTree</code>( <var>tree, symbols, values</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The argument <code class="file">tree</code> is an expression tree followed by the list of those symbols <code class="file">symbols</code> from which the expression tree is built up. The argument <code class="file">values</code> is a list containing a constant for each symbol. The function substitutes each value for the corresponding symbol and computes the resulting value for <code class="file">tree</code>.</p>
<table class="example">
<tr><td><pre>
gap> F := FreeGroup( 3 );
<free group on the generators [ f1, f2, f3 ]>
gap> t := ExpressionTrees( "a", "b", "x" );
[ a, b, x ]
gap> tree := Comm( t[1], t[2] )^3/LeftNormedComm( [t[1],t[2],t[3],t[1]] );
Comm( a, b )^3/Comm( a, b, x, a )
gap> EvaluateExpTree( tree, t, GeneratorsOfGroup(F) );
f1^-1*f2^-1*f1*f2*f1^-1*f2^-1*f1*f2*f1^-1*f2^-1*f1*f2*f1^-1*f3^-1*f2^-1*f1^
-1*f2*f1*f3*f1^-1*f2^-1*f1*f2*f1*f2^-1*f1^-1*f2*f1*f3^-1*f1^-1*f2^-1*f1*f2*f3
</pre></td></tr></table>
<p><a id="s3ss0" name="s3ss0"></a></p>
<h4>3.3 Auxiliary Functions</h4>
<p><a id="s3ss1" name="s3ss1"></a></p>
<h5>3.3-1 NqReadOutput</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqReadOutput</code>( <var>stream</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The only argument <code class="file">stream</code> is an output stream of the ANU NQ. The function reads the stream and returns a record that has a component for each global variable used in the output of the ANU NQ, see <code class="func">NqGlobalVariables</code> (<a href="chap3.html#s4ss3"><b>3.4-3</b></a>).</p>
<p><a id="s3ss2" name="s3ss2"></a></p>
<h5>3.3-2 NqStringFpGroup</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqStringFpGroup</code>( <var>fp-group[, idgens]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The function takes a finitely presented group <code class="file">fp-group</code> and returns a string in the input format of the ANU NQ. If the list <code class="file">idgens</code> is present, then it must contain generators of the free group underlying the finitely presented group <code class="func">FreeGroupOfFpGroup</code> (<a href="/localhome/nickel/4.0/doc/htm/ref/CHAP045.htm#SECT003"><b>Reference: FreeGroupOfFpGroup</b></a>). The generators in <code class="file">idgens</code> are treated as identical generators.</p>
<table class="example">
<tr><td><pre>
gap> F := FreeGroup(2);
<free group on the generators [ f1, f2 ]>
gap> G := F / [F.1^2, F.2^2, (F.1*F.2)^4];
<fp group on the generators [ f1, f2 ]>
gap> NqStringFpGroup( G );
"< x1, x2 |\n x1^2,\n x2^2,\n x1*x2*x1*x2*x1*x2*x1*x2\n>\n"
gap> Print( last );
< x1, x2 |
x1^2,
x2^2,
x1*x2*x1*x2*x1*x2*x1*x2
>
gap> PrintTo( "dihedral", last );
gap> ## The following is equivalent to:
gap> ## NilpotentQuotient( : input_file := "dihedral" );
gap> NilpotentQuotient( "dihedral" );
Pcp-group with orders [ 2, 2, 2 ]
gap> Exec( "rm dihedral" );
gap> F := FreeGroup(3);
<free group on the generators [ f1, f2, f3 ]>
gap> H := F / [ LeftNormedComm( [F.2,F.1,F.1] ),
> LeftNormedComm( [F.2,F.1,F.2] ), F.3^7 ];
<fp group on the generators [ f1, f2, f3 ]>
gap> str := NqStringFpGroup( H, [F.3] );
"< x1, x2; x3 |\n x1^-1*x2^-1*x1*x2*x1^-1*x2^-1*x1^-1*x2*x1^2,\n x1^-1*x\
2^-1*x1*x2^-1*x1^-1*x2*x1*x2,\n x3^7\n>\n"
gap> NilpotentQuotient( : input_string := str );
Pcp-group with orders [ 7, 7, 7 ]
</pre></td></tr></table>
<p><a id="s3ss3" name="s3ss3"></a></p>
<h5>3.3-3 NqStringExpTrees</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqStringExpTrees</code>( <var>fp-group[, idgens]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The function takes a finitely presented group <code class="file">fp-group</code> given in terms of expression trees and returns a string in the input format of the ANU NQ. If the list <code class="file">idgens</code> is present, then it must contain a sublist of the generators of the presentation. The generators in <code class="file">idgens</code> are treated as identical generators.</p>
<table class="example">
<tr><td><pre>
gap> x := ExpressionTrees( 2 );
[ x1, x2 ]
gap> rels := [x[1]^2, x[2]^2, (x[1]*x[2])^5];
[ x1^2, x2^2, (x1*x2)^5 ]
gap> NqStringExpTrees( rec( generators := x, relations := rels ) );
"< x1, x2 |\n x1^2,\n x2^2,\n (x1*x2)^5\n>\n"
gap> Print( last );
< x1, x2 |
x1^2,
x2^2,
(x1*x2)^5
>
gap> x := ExpressionTrees( 3 );
[ x1, x2, x3 ]
gap> rels := [LeftNormedComm( [x[2],x[1],x[1]] ),
> LeftNormedComm( [x[2],x[1],x[2]] ), x[3]^7 ];
[ Comm( x2, x1, x1 ), Comm( x2, x1, x2 ), x3^7 ]
gap> NqStringExpTrees( rec( generators := x, relations := rels ) );
"< x1, x2, x3 |\n [ x2, x1, x1 ],\n [ x2, x1, x2 ],\n x3^7\n>\n"
gap> Print( last );
< x1, x2, x3 |
[ x2, x1, x1 ],
[ x2, x1, x2 ],
x3^7
>
</pre></td></tr></table>
<p><a id="s3ss4" name="s3ss4"></a></p>
<h5>3.3-4 NqElementaryDivisors</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqElementaryDivisors</code>( <var>int-mat</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>The function <code class="func">ElementaryDivisorsMat</code> (<a href="/localhome/nickel/4.0/doc/htm/ref/CHAP023.htm#SECT008"><b>Reference: ElementaryDivisorsMat</b></a>) only returns the non-zero elementary divisors of an integer matrix. This function computes the elementary divisors of <code class="file">int-mat</code> and adds the appropriate number of zeroes in order to make it easier to recognize the isomorphism type of the abelian group presented by the integer matrix. At the same time ones are stripped from the list of elementary divisors.</p>
<p><a id="s4ss0" name="s4ss0"></a></p>
<h4>3.4 Global Variables</h4>
<p><a id="s4ss1" name="s4ss1"></a></p>
<h5>3.4-1 NqRuntime</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqRuntime</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p>This variable contains the number of milliseconds of runtime of the last call of ANU NQ.</p>
<table class="example">
<tr><td><pre>
gap> NilpotentEngelQuotient( FreeGroup(2), 5 );
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 10,
0, 0, 30, 0, 3, 3, 10, 2, 0, 6, 0, 0, 30, 2, 0, 9, 3, 5, 2, 6, 2, 10, 5, 5,
2, 0, 3, 3, 3, 3, 3, 5, 5, 3, 3 ]
gap> NqRuntime;
18200
</pre></td></tr></table>
<p><a id="s4ss2" name="s4ss2"></a></p>
<h5>3.4-2 NqDefaultOptions</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqDefaultOptions</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p>This variable contains a list of strings which are the standard command line options passed to the ANU NQ in each call. Modifying this variable can be used to pass additional options to the ANU NQ.</p>
<table class="example">
<tr><td><pre>
gap> NqDefaultOptions;
[ "-g", "-p", "-C", "-s" ]
</pre></td></tr></table>
<p>The option <var>-g</var> causes the ANU NQ to produce output in <strong class="pkg">GAP</strong>-format. The option <var>-p</var> prevents the ANU NQ from listing the pc-presentation of the nilpotent quotient at the end of the calculation. The option <var>-C</var> invokes the combinatorial collector. The option <var>-s</var> is effective only in conjunction with options for computing with Engel identities and instructs the ANU NQ to use only semigroup words in the generators as instances of an Engel law.</p>
<p><a id="s4ss3" name="s4ss3"></a></p>
<h5>3.4-3 NqGlobalVariables</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> NqGlobalVariables</code></td><td class="tdright">( global variable )</td></tr></table></div>
<p>This variable contains a list of strings with the names of the global variables that are used in the output stream of the ANU NQ. While the output stream is read, these global variables are assigned new values. To avoid overwriting these variables in case they contain values, their contents is saved before reading the output stream and restored afterwards.</p>
<p><a id="s5ss0" name="s5ss0"></a></p>
<h4>3.5 Diagnostic Output</h4>
<p>While the standalone program is running it can be asked to display progress information. This is done by setting the info class <code class="code">InfoNQ</code> to 1 via the function <code class="func">SetInfoLevel</code> (<a href="/localhome/nickel/4.0/doc/htm/ref/CHAP007.htm#SECT004"><b>Reference: SetInfoLevel</b></a>).</p>
<table class="example">
<tr><td><pre>
gap> NilpotentQuotient(FreeGroup(2),5);
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
gap> SetInfoLevel( InfoNQ, 1 );
gap> NilpotentQuotient(FreeGroup(2),5);
#I Class 1: 2 generators with relative orders 0 0
#I Class 2: 1 generators with relative orders: 0
#I Class 3: 2 generators with relative orders: 0 0
#I Class 4: 3 generators with relative orders: 0 0 0
#I Class 5: 6 generators with relative orders: 0 0 0 0 0 0
Pcp-group with orders [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
gap> SetInfoLevel( InfoNQ, 0 );
</pre></td></tr></table>
<div class="pcenter">
<table class="chlink"><tr><td><a href="chap0.html">Top of Book</a></td><td><a href="chap2.html">Previous Chapter</a></td><td><a href="chap4.html">Next Chapter</a></td></tr></table>
<br />
<div class="pcenter"><table class="chlink"><tr><td class="chlink1">Goto Chapter: </td><td><a href="chap0.html">Top</a></td><td><a href="chap1.html">1</a></td><td><a href="chap2.html">2</a></td><td><a href="chap3.html">3</a></td><td><a href="chap4.html">4</a></td><td><a href="chap5.html">5</a></td><td><a href="chapBib.html">Bib</a></td><td><a href="chapInd.html">Ind</a></td></tr></table><br /></div>
</div>
<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
2373
