[back] [prev] [next] [index] [root]

<p>&nbsp;<p>
<hr noshade size="5">
<h2><a name="AbelianGroupIsSub"></a>
AbelianGroupIsSub
</h2>

Tests whether s is a subgroup of g.

<p><p>

<h3>
Syntax:
</h3>
<pre>test := AbelianGroupIsSub(s, g);</pre>

<p>

<table>
<tr>
<td>groups</td>
<td><pre>  g, s  </pre></td>
<td></td>
</tr>
<tr>
<td>boolean</td>
<td><pre>  test  </pre></td>
<td></td>
</tr>
</table>

<p>


See also:&nbsp;&nbsp;<a href="kashref.html#AbelianSubGroup">AbelianSubGroup</a>

<p>

<h3>
Description:
</h3>
Returns <tt>true</tt> iff the group s is a subgroup of g and
<tt>false</tt> otherwise.


<p><p>

<p>
<hr>
<p>
<h3>
Example:
</h3>

<pre>

kash> g := AbelianGroupCreate([[0,1,2],[5,6,0],[0,4,5]]);
Group with relations:
[0 1 2]
[5 6 0]
[0 4 5]
kash> s1 := AbelianSubGroup(g, [1,0,0]);
Group with relations:
[5]
kash> s2 := AbelianSubGroup(g, [[0,1,0], [0,0,5]]);
Group with relations:
[1 1]
[0 3]
kash> AbelianGroupIsSub(s1, g);
true
kash> AbelianGroupIsSub(s1, s2);
> false

</pre>

<p>


<hr>

<p>
<a href="../kashref.html"><- back</a>[back] [prev] [next] [index] [root]