Hello community,
here is the log from the commit of package gap-polenta for openSUSE:Factory
checked in at 2018-01-23 13:51:22
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/gap-polenta (Old)
and /work/SRC/openSUSE:Factory/.gap-polenta.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gap-polenta"
Tue Jan 23 13:51:22 2018 rev:2 rq:559934 version:1.3.8
Changes:
--------
--- /work/SRC/openSUSE:Factory/gap-polenta/gap-polenta.changes 2017-10-08
20:11:21.686184242 +0200
+++ /work/SRC/openSUSE:Factory/.gap-polenta.new/gap-polenta.changes
2018-01-23 13:51:26.113970431 +0100
@@ -1,0 +2,7 @@
+Mon Dec 25 15:34:55 UTC 2017 - jeng...@inai.de
+
+- Update to new upstream release 1.3.8
+ * Internal changes (use TestDirectory() to run tests in
+ tst/testall.g)
+
+-------------------------------------------------------------------
Old:
----
polenta-1.3.7.tar.bz2
New:
----
polenta-1.3.8.tar.bz2
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ gap-polenta.spec ++++++
--- /var/tmp/diff_new_pack.yr6sgy/_old 2018-01-23 13:51:27.341913067 +0100
+++ /var/tmp/diff_new_pack.yr6sgy/_new 2018-01-23 13:51:27.349912694 +0100
@@ -1,7 +1,7 @@
#
# spec file for package gap-polenta
#
-# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -17,7 +17,7 @@
Name: gap-polenta
-Version: 1.3.7
+Version: 1.3.8
Release: 0
Summary: GAP: Polycyclic presentations for matrix groups
License: GPL-2.0+
++++++ polenta-1.3.7.tar.bz2 -> polenta-1.3.8.tar.bz2 ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/CHANGES new/polenta-1.3.8/CHANGES
--- old/polenta-1.3.7/CHANGES 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/CHANGES 2017-12-19 12:41:04.000000000 +0100
@@ -6,6 +6,9 @@
from old records. If you notice anything amiss, please let us know.
===========================================================================
+1.3.8 (2017-11-29)
+ - Internal changes (use TestDirectory() to run tests in tst/testall.g)
+
1.3.7 (2016-11-09)
- Disabled some unused code for multiplicative Jordan decomposition
and for simultaneously diagonalizing commuting matrices
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/PackageInfo.g
new/polenta-1.3.8/PackageInfo.g
--- old/polenta-1.3.7/PackageInfo.g 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/PackageInfo.g 2017-12-19 12:41:04.000000000 +0100
@@ -7,8 +7,8 @@
PackageName := "Polenta",
Subtitle := "Polycyclic presentations for matrix groups",
-Version := "1.3.7",
-Date := "09/11/2016", # dd/mm/yyyy format
+Version := "1.3.8",
+Date := "29/11/2017", # dd/mm/yyyy format
Persons := [
@@ -41,7 +41,7 @@
CommunicatedBy := "Charles Wright (Eugene)",
AcceptDate := "08/2005",
-PackageWWWHome := "http://gap-packages.github.io/polenta/";,
+PackageWWWHome := "https://gap-packages.github.io/polenta/";,
README_URL := Concatenation(~.PackageWWWHome, "README"),
PackageInfoURL := Concatenation(~.PackageWWWHome, "PackageInfo.g"),
ArchiveURL := Concatenation("https://github.com/gap-packages/polenta/";,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap0.html
new/polenta-1.3.8/doc/chap0.html
--- old/polenta-1.3.7/doc/chap0.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap0.html 2017-12-19 12:41:04.000000000 +0100
@@ -29,10 +29,10 @@
<h2>Polycyclic presentations for matrix groups</h2>
<p>
- 1.3.7</p>
+ 1.3.8</p>
<p>
- 09/11/2016
+ 29 November 2017
</p>
</div>
@@ -121,7 +121,7 @@
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X81746D7285808409">4.1 <span
class="Heading">Installing this package</span></a>
</span>
</div>
-<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X7B5D69ED82E9E5BD">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
+<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X802ED64A87AA11DC">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X796DF52483B61C74">4.3 <span
class="Heading">Running the test suite</span></a>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap0.txt
new/polenta-1.3.8/doc/chap0.txt
--- old/polenta-1.3.7/doc/chap0.txt 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap0.txt 2017-12-19 12:41:04.000000000 +0100
@@ -6,10 +6,10 @@
[1X Polycyclic presentations for matrix groups [101X
- 1.3.7
+ 1.3.8
- 09/11/2016
+ 29 November 2017
Björn Assmann
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap0_mj.html
new/polenta-1.3.8/doc/chap0_mj.html
--- old/polenta-1.3.7/doc/chap0_mj.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap0_mj.html 2017-12-19 12:41:04.000000000 +0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Contents</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -32,10 +32,10 @@
<h2>Polycyclic presentations for matrix groups</h2>
<p>
- 1.3.7</p>
+ 1.3.8</p>
<p>
- 09/11/2016
+ 29 November 2017
</p>
</div>
@@ -124,7 +124,7 @@
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X81746D7285808409">4.1 <span
class="Heading">Installing this package</span></a>
</span>
</div>
-<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X7B5D69ED82E9E5BD">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
+<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X802ED64A87AA11DC">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X796DF52483B61C74">4.3 <span
class="Heading">Running the test suite</span></a>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap1_mj.html
new/polenta-1.3.8/doc/chap1_mj.html
--- old/polenta-1.3.7/doc/chap1_mj.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap1_mj.html 2017-12-19 12:41:04.000000000 +0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Chapter 1: Introduction</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap2.html
new/polenta-1.3.8/doc/chap2.html
--- old/polenta-1.3.7/doc/chap2.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap2.html 2017-12-19 12:41:04.000000000 +0100
@@ -67,14 +67,14 @@
<h5>2.1-1 PcpGroupByMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ PcpGroupByMatGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( operation
)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ PcpGroupByMatGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">GL(d,R)</span> where <span class="SimpleMath">R=ℚ,ℤ</span>
or <span class="SimpleMath">F_q</span>. If <var class="Arg">G</var> is
polycyclic, then this function determines a PcpGroup isomorphic to <var
class="Arg">G</var>. If <var class="Arg">G</var> is not polycyclic, then this
function returns <code class="code">fail</code>.</p>
<p><a id="X8771540F7A235763" name="X8771540F7A235763"></a></p>
<h5>2.1-2 IsomorphismPcpGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsomorphismPcpGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsomorphismPcpGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">GL(d,R)</span> where <span class="SimpleMath">R=ℚ,ℤ</span>
or <span class="SimpleMath">F_q</span>. If <var class="Arg">G</var> is
polycyclic, then this function determines an isomorphism onto a PcpGroup. If
<var class="Arg">G</var> is not polycyclic, then this function returns <code
class="code">fail</code>.</p>
<p>Note that the method <code class="code">IsomorphismPcpGroup</code>,
installed in this package, cannot be applied directly to a group given by the
function <code class="code">AlmostCrystallographicGroup</code>. Please use
<code class="code">POL_AlmostCrystallographicGroup</code> (with the same
parameters as <code class="code">AlmostCrystallographicGroup</code>)
instead.</p>
@@ -83,30 +83,30 @@
<h5>2.1-3 ImagesRepresentative</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesRepresentative</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td class="tdright">(
method )</td></tr></table></div>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImageElm</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td class="tdright">(
method )</td></tr></table></div>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesSet</code>( <var
class="Arg">map</var>, <var class="Arg">elms</var> )</td><td class="tdright">(
method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesRepresentative</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td
class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImageElm</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td
class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesSet</code>( <var
class="Arg">map</var>, <var class="Arg">elms</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p>Here <var class="Arg">map</var> is an isomorphism from a polycyclic matrix
group <var class="Arg">G</var> onto a PcpGroup <var class="Arg">H</var>
calculated by <code class="func">IsomorphismPcpGroup</code> (<a
href="chap2.html#X8771540F7A235763"><span class="RefLink">2.1-2</span></a>).
These methods can be used to compute with such an isomorphism. If the input
<var class="Arg">elm</var> is an element of <var class="Arg">G</var>, then the
function <code class="code">ImageElm</code> can be used to compute the image of
<var class="Arg">elm</var> under <var class="Arg">map</var>. If <var
class="Arg">elm</var> is not contained in <var class="Arg">G</var> then the
function <code class="code">ImageElm</code> returns <code
class="code">fail</code>. The input <var class="Arg">pcpelm</var> is an element
of <var class="Arg">H</var>.</p>
<p><a id="X809C78D5877D31DF" name="X809C78D5877D31DF"></a></p>
<h5>2.1-4 IsSolvableGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsSolvableGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsSolvableGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">GL(d,R)</span> where <span class="SimpleMath">R=ℚ,ℤ</span>
or <span class="SimpleMath">F_q</span>. This function tests if <var
class="Arg">G</var> is solvable and returns <code class="code">true</code> or
<code class="code">false</code>.</p>
<p><a id="X7EE01C207C214C1F" name="X7EE01C207C214C1F"></a></p>
<h5>2.1-5 IsTriangularizableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsTriangularizableMatGroup</code>(
<var class="Arg">G</var> )</td><td class="tdright">( property
)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsTriangularizableMatGroup</code>(
<var class="Arg">G</var> )</td><td
class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">GL(d,ℚ)</span>. This function tests if <var
class="Arg">G</var> is triangularizable (possibly over a finite field
extension) and returns <code class="code">true</code> or <code
class="code">false</code>.</p>
<p><a id="X7D7456077D3D1B86" name="X7D7456077D3D1B86"></a></p>
<h5>2.1-6 IsPolycyclicGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsPolycyclicGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsPolycyclicGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">GL(d,R)</span> where <span class="SimpleMath">R=ℚ,ℤ</span>
or <span class="SimpleMath">F_q</span>. This function tests if <var
class="Arg">G</var> is polycyclic and returns <code class="code">true</code> or
<code class="code">false</code>.</p>
<p><a id="X80D1E9E07DB87F97" name="X80D1E9E07DB87F97"></a></p>
@@ -125,7 +125,7 @@
<h5>2.2-1 RadicalSeriesSolvableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ RadicalSeriesSolvableMatGroup</code>(
<var class="Arg">G</var> )</td><td class="tdright">( operation
)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ RadicalSeriesSolvableMatGroup</code>(
<var class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
<p>This function returns a radical series for the <span
class="SimpleMath">ℚ[G]</span>-module <span class="SimpleMath">ℚ^d</span>,
where <var class="Arg">G</var> is a solvable subgroup of <span
class="SimpleMath">GL(d,ℚ)</span>.</p>
<p>A radical series of <span class="SimpleMath">ℚ^d</span> can be refined to a
homogeneous series.</p>
@@ -134,14 +134,14 @@
<h5>2.2-2 HomogeneousSeriesAbelianMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
HomogeneousSeriesAbelianMatGroup</code>( <var class="Arg">G</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">‣
HomogeneousSeriesAbelianMatGroup</code>( <var class="Arg">G</var> )</td><td
class="tdright">( function )</td></tr></table></div>
<p>A module is said to be homogeneous if it is the direct sum of pairwise
irreducible isomorphic submodules. A homogeneous series of a module is a
submodule series such that the factors are homogeneous. This function returns a
homogeneous series for the <span class="SimpleMath">ℚ[G]</span>-module <span
class="SimpleMath">ℚ^d</span>, where <var class="Arg">G</var> is an abelian
subgroup of <span class="SimpleMath">GL(d,ℚ)</span>.</p>
<p><a id="X87D9F67C7CBB1499" name="X87D9F67C7CBB1499"></a></p>
<h5>2.2-3 HomogeneousSeriesTriangularizableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
HomogeneousSeriesTriangularizableMatGroup</code>( <var class="Arg">G</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">‣
HomogeneousSeriesTriangularizableMatGroup</code>( <var class="Arg">G</var>
)</td><td class="tdright">( function )</td></tr></table></div>
<p>A module is said to be homogeneous if it is the direct sum of pairwise
irreducible isomorphic submodules. A homogeneous series of a module is a
submodule series such that the factors are homogeneous. This function returns a
homogeneous series for the <span class="SimpleMath">ℚ[G]</span>-module <span
class="SimpleMath">ℚ^d</span>, where <var class="Arg">G</var> is a
triangularizable subgroup of <span class="SimpleMath">GL(d,ℚ)</span>.</p>
<p>A homogeneous series can be refined to a composition series.</p>
@@ -150,14 +150,14 @@
<h5>2.2-4 CompositionSeriesAbelianMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
CompositionSeriesAbelianMatGroup</code>( <var class="Arg">G</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">‣
CompositionSeriesAbelianMatGroup</code>( <var class="Arg">G</var> )</td><td
class="tdright">( function )</td></tr></table></div>
<p>A composition series of a module is a submodule series such that the
factors are irreducible. This function returns a composition series for the
<span class="SimpleMath">ℚ[G]</span>-module <span
class="SimpleMath">ℚ^d</span>, where <var class="Arg">G</var> is an abelian
subgroup of <span class="SimpleMath">GL(d,ℚ)</span>.</p>
<p><a id="X78DE110C7E2A493C" name="X78DE110C7E2A493C"></a></p>
<h5>2.2-5 CompositionSeriesTriangularizableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
CompositionSeriesTriangularizableMatGroup</code>( <var class="Arg">G</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">‣
CompositionSeriesTriangularizableMatGroup</code>( <var class="Arg">G</var>
)</td><td class="tdright">( function )</td></tr></table></div>
<p>A composition series of a module is a submodule series such that the
factors are irreducible. This function returns a composition series for the
<span class="SimpleMath">ℚ[G]</span>-module <span
class="SimpleMath">ℚ^d</span>, where <var class="Arg">G</var> is a
triangularizable subgroup of <span class="SimpleMath">GL(d,ℚ)</span>.</p>
<p><a id="X7BA181CA81D785BB" name="X7BA181CA81D785BB"></a></p>
@@ -168,7 +168,7 @@
<h5>2.3-1 SubgroupsUnipotentByAbelianByFinite</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
SubgroupsUnipotentByAbelianByFinite</code>( <var class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
SubgroupsUnipotentByAbelianByFinite</code>( <var class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">GL(d,R)</span> where <span class="SimpleMath">R=ℚ</span> or
<span class="SimpleMath">ℤ</span>. If <var class="Arg">G</var> is polycyclic,
then this function returns a record containing two normal subgroups <span
class="SimpleMath">T</span> and <span class="SimpleMath">U</span> of <span
class="SimpleMath">G</span>. The group <span class="SimpleMath">T</span> is
unipotent-by-abelian (and thus triangularizable) and of finite index in <var
class="Arg">G</var>. The group <span class="SimpleMath">U</span> is unipotent
and is such that <span class="SimpleMath">T/U</span> is abelian. If <var
class="Arg">G</var> is not polycyclic, then the algorithm returns <code
class="code">fail</code>.</p>
<p><a id="X7A489A5D79DA9E5C" name="X7A489A5D79DA9E5C"></a></p>
@@ -179,7 +179,7 @@
<h5>2.4-1 PolExamples</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ PolExamples</code>( <var
class="Arg">l</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">‣ PolExamples</code>( <var
class="Arg">l</var> )</td><td
class="tdright">( function )</td></tr></table></div>
<p>Returns some examples for polycyclic rational matrix groups, where <var
class="Arg">l</var> is an integer between 1 and 24. These can be used to test
the functions in this package. Some of the properties of the examples are
summarised in the following table.</p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap2.txt
new/polenta-1.3.8/doc/chap2.txt
--- old/polenta-1.3.7/doc/chap2.txt 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap2.txt 2017-12-19 12:41:04.000000000 +0100
@@ -14,7 +14,7 @@
[1X2.1-1 PcpGroupByMatGroup[101X
- [29X[2XPcpGroupByMatGroup[102X( [3XG[103X ) [32X operation
+ [33X[1;0Y[29X[2XPcpGroupByMatGroup[102X( [3XG[103X ) [32X
operation[133X
[33X[0;0Y[3XG[103X is a subgroup of [22XGL(d,R)[122X where
[22XR=ℚ,ℤ[122X or [22XF_q[122X. If [3XG[103X is polycyclic, then this
function determines a PcpGroup isomorphic to [3XG[103X. If [3XG[103X is
not polycyclic, then
@@ -22,7 +22,7 @@
[1X2.1-2 IsomorphismPcpGroup[101X
- [29X[2XIsomorphismPcpGroup[102X( [3XG[103X ) [32X method
+ [33X[1;0Y[29X[2XIsomorphismPcpGroup[102X( [3XG[103X ) [32X
method[133X
[33X[0;0Y[3XG[103X is a subgroup of [22XGL(d,R)[122X where
[22XR=ℚ,ℤ[122X or [22XF_q[122X. If [3XG[103X is polycyclic, then this
function determines an isomorphism onto a PcpGroup. If [3XG[103X is not
polycyclic,
@@ -35,9 +35,9 @@
[1X2.1-3 ImagesRepresentative[101X
- [29X[2XImagesRepresentative[102X( [3Xmap[103X, [3Xelm[103X ) [32X
method
- [29X[2XImageElm[102X( [3Xmap[103X, [3Xelm[103X ) [32X method
- [29X[2XImagesSet[102X( [3Xmap[103X, [3Xelms[103X ) [32X method
+ [33X[1;0Y[29X[2XImagesRepresentative[102X( [3Xmap[103X, [3Xelm[103X
) [32X method[133X
+ [33X[1;0Y[29X[2XImageElm[102X( [3Xmap[103X, [3Xelm[103X ) [32X
method[133X
+ [33X[1;0Y[29X[2XImagesSet[102X( [3Xmap[103X, [3Xelms[103X ) [32X
method[133X
[33X[0;0YHere [3Xmap[103X is an isomorphism from a polycyclic matrix
group [3XG[103X onto a PcpGroup
[3XH[103X calculated by [2XIsomorphismPcpGroup[102X
([14X2.1-2[114X). These methods can be used to
@@ -48,21 +48,21 @@
[1X2.1-4 IsSolvableGroup[101X
- [29X[2XIsSolvableGroup[102X( [3XG[103X ) [32X method
+ [33X[1;0Y[29X[2XIsSolvableGroup[102X( [3XG[103X ) [32X method[133X
[33X[0;0Y[3XG[103X is a subgroup of [22XGL(d,R)[122X where
[22XR=ℚ,ℤ[122X or [22XF_q[122X. This function tests if [3XG[103X is
solvable and returns [10Xtrue[110X or [10Xfalse[110X.[133X
[1X2.1-5 IsTriangularizableMatGroup[101X
- [29X[2XIsTriangularizableMatGroup[102X( [3XG[103X ) [32X property
+ [33X[1;0Y[29X[2XIsTriangularizableMatGroup[102X( [3XG[103X ) [32X
property[133X
[33X[0;0Y[3XG[103X is a subgroup of [22XGL(d,ℚ)[122X. This
function tests if [3XG[103X is triangularizable
(possibly over a finite field extension) and returns [10Xtrue[110X or
[10Xfalse[110X.[133X
[1X2.1-6 IsPolycyclicGroup[101X
- [29X[2XIsPolycyclicGroup[102X( [3XG[103X ) [32X method
+ [33X[1;0Y[29X[2XIsPolycyclicGroup[102X( [3XG[103X ) [32X method[133X
[33X[0;0Y[3XG[103X is a subgroup of [22XGL(d,R)[122X where
[22XR=ℚ,ℤ[122X or [22XF_q[122X. This function tests if [3XG[103X is
polycyclic and returns [10Xtrue[110X or [10Xfalse[110X.[133X
@@ -77,14 +77,15 @@
[22Xℚ^d[122X. Also recall that the radical series[133X
- [33X[1;6Y[24X[33X[0;0Y0=R_n < R_{n-1} < \dots < R_1 <
R_0=ℚ^d[133X [124X[133X
+ [24X[33X[0;6Y0=R_n < R_{n-1} < \dots < R_1 < R_0=ℚ^d[133X
+ [124X
[33X[0;0Yis defined by [22XR_i+1:= Rad_G(R_i)[122X.[133X
[1X2.2-1 RadicalSeriesSolvableMatGroup[101X
- [29X[2XRadicalSeriesSolvableMatGroup[102X( [3XG[103X ) [32X operation
+ [33X[1;0Y[29X[2XRadicalSeriesSolvableMatGroup[102X( [3XG[103X ) [32X
operation[133X
[33X[0;0YThis function returns a radical series for the
[22Xℚ[G][122X-module [22Xℚ^d[122X, where [3XG[103X is a
solvable subgroup of [22XGL(d,ℚ)[122X.[133X
@@ -93,7 +94,7 @@
[1X2.2-2 HomogeneousSeriesAbelianMatGroup[101X
- [29X[2XHomogeneousSeriesAbelianMatGroup[102X( [3XG[103X ) [32X function
+ [33X[1;0Y[29X[2XHomogeneousSeriesAbelianMatGroup[102X( [3XG[103X )
[32X function[133X
[33X[0;0YA module is said to be homogeneous if it is the direct sum
of pairwise
irreducible isomorphic submodules. A homogeneous series of a module is a
@@ -103,7 +104,7 @@
[1X2.2-3 HomogeneousSeriesTriangularizableMatGroup[101X
- [29X[2XHomogeneousSeriesTriangularizableMatGroup[102X( [3XG[103X )
[32X function
+ [33X[1;0Y[29X[2XHomogeneousSeriesTriangularizableMatGroup[102X(
[3XG[103X ) [32X function[133X
[33X[0;0YA module is said to be homogeneous if it is the direct sum
of pairwise
irreducible isomorphic submodules. A homogeneous series of a module is a
@@ -115,7 +116,7 @@
[1X2.2-4 CompositionSeriesAbelianMatGroup[101X
- [29X[2XCompositionSeriesAbelianMatGroup[102X( [3XG[103X ) [32X function
+ [33X[1;0Y[29X[2XCompositionSeriesAbelianMatGroup[102X( [3XG[103X )
[32X function[133X
[33X[0;0YA composition series of a module is a submodule series such that
the factors
are irreducible. This function returns a composition series for the
@@ -123,7 +124,7 @@
[1X2.2-5 CompositionSeriesTriangularizableMatGroup[101X
- [29X[2XCompositionSeriesTriangularizableMatGroup[102X( [3XG[103X )
[32X function
+ [33X[1;0Y[29X[2XCompositionSeriesTriangularizableMatGroup[102X(
[3XG[103X ) [32X function[133X
[33X[0;0YA composition series of a module is a submodule series such that
the factors
are irreducible. This function returns a composition series for the
@@ -134,7 +135,7 @@
[1X2.3-1 SubgroupsUnipotentByAbelianByFinite[101X
- [29X[2XSubgroupsUnipotentByAbelianByFinite[102X( [3XG[103X ) [32X
operation
+ [33X[1;0Y[29X[2XSubgroupsUnipotentByAbelianByFinite[102X( [3XG[103X )
[32X operation[133X
[33X[0;0Y[3XG[103X is a subgroup of [22XGL(d,R)[122X where
[22XR=ℚ[122X or [22Xℤ[122X. If [3XG[103X is polycyclic, then this
function returns a record containing two normal subgroups [22XT[122X and
[22XU[122X of [22XG[122X. The
@@ -147,7 +148,7 @@
[1X2.4-1 PolExamples[101X
- [29X[2XPolExamples[102X( [3Xl[103X ) [32X function
+ [33X[1;0Y[29X[2XPolExamples[102X( [3Xl[103X ) [32X function[133X
[33X[0;0YReturns some examples for polycyclic rational matrix groups,
where [3Xl[103X is an
integer between 1 and 24. These can be used to test the functions in this
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap2_mj.html
new/polenta-1.3.8/doc/chap2_mj.html
--- old/polenta-1.3.7/doc/chap2_mj.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap2_mj.html 2017-12-19 12:41:04.000000000 +0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Chapter 2: Methods for matrix groups</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -70,14 +70,14 @@
<h5>2.1-1 PcpGroupByMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ PcpGroupByMatGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( operation
)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ PcpGroupByMatGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">\(GL(d,R)\)</span> where <span class="SimpleMath">\(R=ℚ,ℤ
\)</span> or <span class="SimpleMath">\(\mathbb{F}_q\)</span>. If <var
class="Arg">G</var> is polycyclic, then this function determines a PcpGroup
isomorphic to <var class="Arg">G</var>. If <var class="Arg">G</var> is not
polycyclic, then this function returns <code class="code">fail</code>.</p>
<p><a id="X8771540F7A235763" name="X8771540F7A235763"></a></p>
<h5>2.1-2 IsomorphismPcpGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsomorphismPcpGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsomorphismPcpGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">\(GL(d,R)\)</span> where <span class="SimpleMath">\(R=ℚ,ℤ
\)</span> or <span class="SimpleMath">\(\mathbb{F}_q\)</span>. If <var
class="Arg">G</var> is polycyclic, then this function determines an isomorphism
onto a PcpGroup. If <var class="Arg">G</var> is not polycyclic, then this
function returns <code class="code">fail</code>.</p>
<p>Note that the method <code class="code">IsomorphismPcpGroup</code>,
installed in this package, cannot be applied directly to a group given by the
function <code class="code">AlmostCrystallographicGroup</code>. Please use
<code class="code">POL_AlmostCrystallographicGroup</code> (with the same
parameters as <code class="code">AlmostCrystallographicGroup</code>)
instead.</p>
@@ -86,30 +86,30 @@
<h5>2.1-3 ImagesRepresentative</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesRepresentative</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td class="tdright">(
method )</td></tr></table></div>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImageElm</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td class="tdright">(
method )</td></tr></table></div>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesSet</code>( <var
class="Arg">map</var>, <var class="Arg">elms</var> )</td><td class="tdright">(
method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesRepresentative</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td
class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImageElm</code>( <var
class="Arg">map</var>, <var class="Arg">elm</var> )</td><td
class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ ImagesSet</code>( <var
class="Arg">map</var>, <var class="Arg">elms</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p>Here <var class="Arg">map</var> is an isomorphism from a polycyclic matrix
group <var class="Arg">G</var> onto a PcpGroup <var class="Arg">H</var>
calculated by <code class="func">IsomorphismPcpGroup</code> (<a
href="chap2_mj.html#X8771540F7A235763"><span class="RefLink">2.1-2</span></a>).
These methods can be used to compute with such an isomorphism. If the input
<var class="Arg">elm</var> is an element of <var class="Arg">G</var>, then the
function <code class="code">ImageElm</code> can be used to compute the image of
<var class="Arg">elm</var> under <var class="Arg">map</var>. If <var
class="Arg">elm</var> is not contained in <var class="Arg">G</var> then the
function <code class="code">ImageElm</code> returns <code
class="code">fail</code>. The input <var class="Arg">pcpelm</var> is an element
of <var class="Arg">H</var>.</p>
<p><a id="X809C78D5877D31DF" name="X809C78D5877D31DF"></a></p>
<h5>2.1-4 IsSolvableGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsSolvableGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsSolvableGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">\(GL(d,R)\)</span> where <span class="SimpleMath">\(R=ℚ,ℤ
\)</span> or <span class="SimpleMath">\(\mathbb{F}_q\)</span>. This function
tests if <var class="Arg">G</var> is solvable and returns <code
class="code">true</code> or <code class="code">false</code>.</p>
<p><a id="X7EE01C207C214C1F" name="X7EE01C207C214C1F"></a></p>
<h5>2.1-5 IsTriangularizableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsTriangularizableMatGroup</code>(
<var class="Arg">G</var> )</td><td class="tdright">( property
)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsTriangularizableMatGroup</code>(
<var class="Arg">G</var> )</td><td
class="tdright">( property )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">\(GL(d,ℚ)\)</span>. This function tests if <var
class="Arg">G</var> is triangularizable (possibly over a finite field
extension) and returns <code class="code">true</code> or <code
class="code">false</code>.</p>
<p><a id="X7D7456077D3D1B86" name="X7D7456077D3D1B86"></a></p>
<h5>2.1-6 IsPolycyclicGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsPolycyclicGroup</code>( <var
class="Arg">G</var> )</td><td class="tdright">( method )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ IsPolycyclicGroup</code>( <var
class="Arg">G</var> )</td><td
class="tdright">( method )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">\(GL(d,R)\)</span> where <span class="SimpleMath">\(R=ℚ,ℤ
\)</span> or <span class="SimpleMath">\(\mathbb{F}_q\)</span>. This function
tests if <var class="Arg">G</var> is polycyclic and returns <code
class="code">true</code> or <code class="code">false</code>.</p>
<p><a id="X80D1E9E07DB87F97" name="X80D1E9E07DB87F97"></a></p>
@@ -128,7 +128,7 @@
<h5>2.2-1 RadicalSeriesSolvableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ RadicalSeriesSolvableMatGroup</code>(
<var class="Arg">G</var> )</td><td class="tdright">( operation
)</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ RadicalSeriesSolvableMatGroup</code>(
<var class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
<p>This function returns a radical series for the <span
class="SimpleMath">\(ℚ[G]\)</span>-module <span
class="SimpleMath">\(ℚ^d\)</span>, where <var class="Arg">G</var> is a solvable
subgroup of <span class="SimpleMath">\(GL(d,ℚ)\)</span>.</p>
<p>A radical series of <span class="SimpleMath">\(ℚ^d\)</span> can be refined
to a homogeneous series.</p>
@@ -137,14 +137,14 @@
<h5>2.2-2 HomogeneousSeriesAbelianMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
HomogeneousSeriesAbelianMatGroup</code>( <var class="Arg">G</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">‣
HomogeneousSeriesAbelianMatGroup</code>( <var class="Arg">G</var> )</td><td
class="tdright">( function )</td></tr></table></div>
<p>A module is said to be homogeneous if it is the direct sum of pairwise
irreducible isomorphic submodules. A homogeneous series of a module is a
submodule series such that the factors are homogeneous. This function returns a
homogeneous series for the <span class="SimpleMath">\(ℚ[G]\)</span>-module
<span class="SimpleMath">\(ℚ^d\)</span>, where <var class="Arg">G</var> is an
abelian subgroup of <span class="SimpleMath">\(GL(d,ℚ)\)</span>.</p>
<p><a id="X87D9F67C7CBB1499" name="X87D9F67C7CBB1499"></a></p>
<h5>2.2-3 HomogeneousSeriesTriangularizableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
HomogeneousSeriesTriangularizableMatGroup</code>( <var class="Arg">G</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">‣
HomogeneousSeriesTriangularizableMatGroup</code>( <var class="Arg">G</var>
)</td><td class="tdright">( function )</td></tr></table></div>
<p>A module is said to be homogeneous if it is the direct sum of pairwise
irreducible isomorphic submodules. A homogeneous series of a module is a
submodule series such that the factors are homogeneous. This function returns a
homogeneous series for the <span class="SimpleMath">\(ℚ[G]\)</span>-module
<span class="SimpleMath">\(ℚ^d\)</span>, where <var class="Arg">G</var> is a
triangularizable subgroup of <span class="SimpleMath">\(GL(d,ℚ)\)</span>.</p>
<p>A homogeneous series can be refined to a composition series.</p>
@@ -153,14 +153,14 @@
<h5>2.2-4 CompositionSeriesAbelianMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
CompositionSeriesAbelianMatGroup</code>( <var class="Arg">G</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">‣
CompositionSeriesAbelianMatGroup</code>( <var class="Arg">G</var> )</td><td
class="tdright">( function )</td></tr></table></div>
<p>A composition series of a module is a submodule series such that the
factors are irreducible. This function returns a composition series for the
<span class="SimpleMath">\(ℚ[G]\)</span>-module <span
class="SimpleMath">\(ℚ^d\)</span>, where <var class="Arg">G</var> is an abelian
subgroup of <span class="SimpleMath">\(GL(d,ℚ)\)</span>.</p>
<p><a id="X78DE110C7E2A493C" name="X78DE110C7E2A493C"></a></p>
<h5>2.2-5 CompositionSeriesTriangularizableMatGroup</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
CompositionSeriesTriangularizableMatGroup</code>( <var class="Arg">G</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">‣
CompositionSeriesTriangularizableMatGroup</code>( <var class="Arg">G</var>
)</td><td class="tdright">( function )</td></tr></table></div>
<p>A composition series of a module is a submodule series such that the
factors are irreducible. This function returns a composition series for the
<span class="SimpleMath">\(ℚ[G]\)</span>-module <span
class="SimpleMath">\(ℚ^d\)</span>, where <var class="Arg">G</var> is a
triangularizable subgroup of <span class="SimpleMath">\(GL(d,ℚ)\)</span>.</p>
<p><a id="X7BA181CA81D785BB" name="X7BA181CA81D785BB"></a></p>
@@ -171,7 +171,7 @@
<h5>2.3-1 SubgroupsUnipotentByAbelianByFinite</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
SubgroupsUnipotentByAbelianByFinite</code>( <var class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣
SubgroupsUnipotentByAbelianByFinite</code>( <var class="Arg">G</var> )</td><td
class="tdright">( operation )</td></tr></table></div>
<p><var class="Arg">G</var> is a subgroup of <span
class="SimpleMath">\(GL(d,R)\)</span> where <span
class="SimpleMath">\(R=ℚ\)</span> or <span class="SimpleMath">\(ℤ\)</span>. If
<var class="Arg">G</var> is polycyclic, then this function returns a record
containing two normal subgroups <span class="SimpleMath">\(T\)</span> and <span
class="SimpleMath">\(U\)</span> of <span class="SimpleMath">\(G\)</span>. The
group <span class="SimpleMath">\(T\)</span> is unipotent-by-abelian (and thus
triangularizable) and of finite index in <var class="Arg">G</var>. The group
<span class="SimpleMath">\(U\)</span> is unipotent and is such that <span
class="SimpleMath">\(T/U\)</span> is abelian. If <var class="Arg">G</var> is
not polycyclic, then the algorithm returns <code class="code">fail</code>.</p>
<p><a id="X7A489A5D79DA9E5C" name="X7A489A5D79DA9E5C"></a></p>
@@ -182,7 +182,7 @@
<h5>2.4-1 PolExamples</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ PolExamples</code>( <var
class="Arg">l</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">‣ PolExamples</code>( <var
class="Arg">l</var> )</td><td
class="tdright">( function )</td></tr></table></div>
<p>Returns some examples for polycyclic rational matrix groups, where <var
class="Arg">l</var> is an integer between 1 and 24. These can be used to test
the functions in this package. Some of the properties of the examples are
summarised in the following table.</p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap3_mj.html
new/polenta-1.3.8/doc/chap3_mj.html
--- old/polenta-1.3.7/doc/chap3_mj.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap3_mj.html 2017-12-19 12:41:04.000000000 +0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Chapter 3: An example application</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap4.html
new/polenta-1.3.8/doc/chap4.html
--- old/polenta-1.3.7/doc/chap4.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap4.html 2017-12-19 12:41:04.000000000 +0100
@@ -25,7 +25,7 @@
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X81746D7285808409">4.1 <span
class="Heading">Installing this package</span></a>
</span>
</div>
-<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X7B5D69ED82E9E5BD">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
+<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X802ED64A87AA11DC">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4.html#X796DF52483B61C74">4.3 <span
class="Heading">Running the test suite</span></a>
@@ -39,15 +39,15 @@
<h4>4.1 <span class="Heading">Installing this package</span></h4>
-<p>The <strong class="pkg">Polenta</strong> package is part of the standard
distribution of <strong class="pkg">GAP</strong> and so normally there should
be no need to install it separately. If by any chance it is not part of your
<strong class="pkg">GAP</strong> distribution, then the standard method is to
unpack the package into the <code class="code">pkg</code> directory of your
<strong class="pkg">GAP</strong> distribution. This will create a <code
class="code">polenta</code> subdirectory. For other non-standard options please
see Chapter <a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap76_mj.html#X82473E4B8756C6CD"><span
class="RefLink">Reference: Installing a GAP Package</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
+<p>The <strong class="pkg">Polenta</strong> package is part of the standard
distribution of <strong class="pkg">GAP</strong> and so normally there should
be no need to install it separately. If by any chance it is not part of your
<strong class="pkg">GAP</strong> distribution, then the standard method is to
unpack the package into the <code class="code">pkg</code> directory of your
<strong class="pkg">GAP</strong> distribution. This will create a <code
class="code">polenta</code> subdirectory. For other non-standard options please
see Chapter <a href="../../../doc/ref/chap76_mj.html#X82473E4B8756C6CD"><span
class="RefLink">Reference: Installing a GAP Package</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
<p>Note that the GAP-Packages <strong class="pkg">Alnuth</strong> and <strong
class="pkg">Polycyclic</strong> are needed for this package. Normally they
should be contained in your distribution. If not, they can be obtained at <span
class="URL"><a
href="http://www.gap-system.org/Packages/packages.html";>http://www.gap-system.org/Packages/packages.html</a></span>.</p>
-<p><a id="X7B5D69ED82E9E5BD" name="X7B5D69ED82E9E5BD"></a></p>
+<p><a id="X802ED64A87AA11DC" name="X802ED64A87AA11DC"></a></p>
<h4>4.2 <span class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></h4>
-<p>If the <strong class="pkg">Polenta</strong> package is not already loaded
then you have to request it explicitly. This can be done via the <code
class="func">LoadPackage</code> (<a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap76_mj.html#X79B373A77B29D1F5"><span
class="RefLink">Reference: LoadPackage</span></a>) command.</p>
+<p>If the <strong class="pkg">Polenta</strong> package is not already loaded
then you have to request it explicitly. This can be done via the <code
class="func">LoadPackage</code> (<a
href="../../../doc/ref/chap76_mj.html#X79B373A77B29D1F5"><span
class="RefLink">Reference: LoadPackage</span></a>) command.</p>
<p><a id="X796DF52483B61C74" name="X796DF52483B61C74"></a></p>
@@ -60,7 +60,7 @@
gap> ReadPackage( "Polenta", "tst/testall.g" );
</pre></div>
-<p>For more details on Test Files see Section <a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap7_mj.html#X801051CC86594630"><span
class="RefLink">Reference: Test Files</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
+<p>For more details on Test Files see Section <a
href="../../../doc/ref/chap7_mj.html#X801051CC86594630"><span
class="RefLink">Reference: Test Files</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
<p>If the test suite runs into an error, even though the packages Polycyclic
and Alnuth and their depdendencies have been correctly installed, then please
send a message to <code class="code">max.h...@math.uni-giessen.de</code>
including the error message.</p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap4_mj.html
new/polenta-1.3.8/doc/chap4_mj.html
--- old/polenta-1.3.7/doc/chap4_mj.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap4_mj.html 2017-12-19 12:41:04.000000000 +0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Chapter 4: Installation</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -28,7 +28,7 @@
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X81746D7285808409">4.1 <span
class="Heading">Installing this package</span></a>
</span>
</div>
-<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X7B5D69ED82E9E5BD">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
+<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X802ED64A87AA11DC">4.2 <span
class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span
class="nocss"> </span><a href="chap4_mj.html#X796DF52483B61C74">4.3 <span
class="Heading">Running the test suite</span></a>
@@ -42,15 +42,15 @@
<h4>4.1 <span class="Heading">Installing this package</span></h4>
-<p>The <strong class="pkg">Polenta</strong> package is part of the standard
distribution of <strong class="pkg">GAP</strong> and so normally there should
be no need to install it separately. If by any chance it is not part of your
<strong class="pkg">GAP</strong> distribution, then the standard method is to
unpack the package into the <code class="code">pkg</code> directory of your
<strong class="pkg">GAP</strong> distribution. This will create a <code
class="code">polenta</code> subdirectory. For other non-standard options please
see Chapter <a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap76_mj.html#X82473E4B8756C6CD"><span
class="RefLink">Reference: Installing a GAP Package</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
+<p>The <strong class="pkg">Polenta</strong> package is part of the standard
distribution of <strong class="pkg">GAP</strong> and so normally there should
be no need to install it separately. If by any chance it is not part of your
<strong class="pkg">GAP</strong> distribution, then the standard method is to
unpack the package into the <code class="code">pkg</code> directory of your
<strong class="pkg">GAP</strong> distribution. This will create a <code
class="code">polenta</code> subdirectory. For other non-standard options please
see Chapter <a href="../../../doc/ref/chap76_mj.html#X82473E4B8756C6CD"><span
class="RefLink">Reference: Installing a GAP Package</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
<p>Note that the GAP-Packages <strong class="pkg">Alnuth</strong> and <strong
class="pkg">Polycyclic</strong> are needed for this package. Normally they
should be contained in your distribution. If not, they can be obtained at <span
class="URL"><a
href="http://www.gap-system.org/Packages/packages.html";>http://www.gap-system.org/Packages/packages.html</a></span>.</p>
-<p><a id="X7B5D69ED82E9E5BD" name="X7B5D69ED82E9E5BD"></a></p>
+<p><a id="X802ED64A87AA11DC" name="X802ED64A87AA11DC"></a></p>
<h4>4.2 <span class="Heading">Loading the <strong class="pkg">Polenta</strong>
package</span></h4>
-<p>If the <strong class="pkg">Polenta</strong> package is not already loaded
then you have to request it explicitly. This can be done via the <code
class="func">LoadPackage</code> (<a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap76_mj.html#X79B373A77B29D1F5"><span
class="RefLink">Reference: LoadPackage</span></a>) command.</p>
+<p>If the <strong class="pkg">Polenta</strong> package is not already loaded
then you have to request it explicitly. This can be done via the <code
class="func">LoadPackage</code> (<a
href="../../../doc/ref/chap76_mj.html#X79B373A77B29D1F5"><span
class="RefLink">Reference: LoadPackage</span></a>) command.</p>
<p><a id="X796DF52483B61C74" name="X796DF52483B61C74"></a></p>
@@ -63,7 +63,7 @@
gap> ReadPackage( "Polenta", "tst/testall.g" );
</pre></div>
-<p>For more details on Test Files see Section <a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap7_mj.html#X801051CC86594630"><span
class="RefLink">Reference: Test Files</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
+<p>For more details on Test Files see Section <a
href="../../../doc/ref/chap7_mj.html#X801051CC86594630"><span
class="RefLink">Reference: Test Files</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual.</p>
<p>If the test suite runs into an error, even though the packages Polycyclic
and Alnuth and their depdendencies have been correctly installed, then please
send a message to <code class="code">max.h...@math.uni-giessen.de</code>
including the error message.</p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap5.html
new/polenta-1.3.8/doc/chap5.html
--- old/polenta-1.3.7/doc/chap5.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap5.html 2017-12-19 12:41:04.000000000 +0100
@@ -44,8 +44,8 @@
<h5>5.1-1 InfoPolenta</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ InfoPolenta</code></td><td
class="tdright">( info class )</td></tr></table></div>
-<p>is the Info class of the <strong class="pkg">Polenta</strong> package (for
more details on the Info mechanism see Section <a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap7_mj.html#X7A9C902479CB6F7C"><span
class="RefLink">Reference: Info Functions</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual). With the help of the function <code
class="code">SetInfoLevel(InfoPolenta,<var class="Arg">level</var>)</code> you
can change the info level of <code class="code">InfoPolenta</code>.</p>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ InfoPolenta</code></td><td
class="tdright">( info class )</td></tr></table></div>
+<p>is the Info class of the <strong class="pkg">Polenta</strong> package (for
more details on the Info mechanism see Section <a
href="../../../doc/ref/chap7_mj.html#X7A9C902479CB6F7C"><span
class="RefLink">Reference: Info Functions</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual). With the help of the function <code
class="code">SetInfoLevel(InfoPolenta,<var class="Arg">level</var>)</code> you
can change the info level of <code class="code">InfoPolenta</code>.</p>
<ul>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap5.txt
new/polenta-1.3.8/doc/chap5.txt
--- old/polenta-1.3.7/doc/chap5.txt 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap5.txt 2017-12-19 12:41:04.000000000 +0100
@@ -9,7 +9,7 @@
[1X5.1-1 InfoPolenta[101X
- [29X[2XInfoPolenta[102X[32X info class
+ [33X[1;0Y[29X[2XInfoPolenta[102X[32X info class[133X
[33X[0;0Yis the Info class of the [5XPolenta[105X package (for
more details on the Info
mechanism see Section [14X'Reference: Info Functions'[114X of the
[5XGAP[105X Reference
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chap5_mj.html
new/polenta-1.3.8/doc/chap5_mj.html
--- old/polenta-1.3.7/doc/chap5_mj.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chap5_mj.html 2017-12-19 12:41:04.000000000 +0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Chapter 5: Information Messages</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -47,8 +47,8 @@
<h5>5.1-1 InfoPolenta</h5>
-<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ InfoPolenta</code></td><td
class="tdright">( info class )</td></tr></table></div>
-<p>is the Info class of the <strong class="pkg">Polenta</strong> package (for
more details on the Info mechanism see Section <a
href="/Users/mhorn/Projekte/GAP/repos/doc/ref/chap7_mj.html#X7A9C902479CB6F7C"><span
class="RefLink">Reference: Info Functions</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual). With the help of the function <code
class="code">SetInfoLevel(InfoPolenta,<var class="Arg">level</var>)</code> you
can change the info level of <code class="code">InfoPolenta</code>.</p>
+<div class="func"><table class="func" width="100%"><tr><td
class="tdleft"><code class="func">‣ InfoPolenta</code></td><td
class="tdright">( info class )</td></tr></table></div>
+<p>is the Info class of the <strong class="pkg">Polenta</strong> package (for
more details on the Info mechanism see Section <a
href="../../../doc/ref/chap7_mj.html#X7A9C902479CB6F7C"><span
class="RefLink">Reference: Info Functions</span></a> of the <strong
class="pkg">GAP</strong> Reference Manual). With the help of the function <code
class="code">SetInfoLevel(InfoPolenta,<var class="Arg">level</var>)</code> you
can change the info level of <code class="code">InfoPolenta</code>.</p>
<ul>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chapBib.html
new/polenta-1.3.8/doc/chapBib.html
--- old/polenta-1.3.7/doc/chapBib.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chapBib.html 2017-12-19 12:41:04.000000000 +0100
@@ -25,17 +25,6 @@
<h3>References</h3>
-<p><a id="biBAssmann" name="biBAssmann"></a></p>
-<p class='BibEntry'>
-[<span class='BibKey'>Ass03</span>] <b class='BibAuthor'>Assmann, B.</b>,
- <i class='BibTitle'>Polycyclic presentations for matrix groups</i>,
- <span class='BibType'>Diplomarbeit</span>,
- <span class='BibSchool'>TU Braunschweig</span>
- (<span class='BibYear'>2003</span>)<br />
-(<span class='BibNote'><a
href="http://www.icm.tu-bs.de/ag_algebra/software/assmann";>http://www.icm.tu-bs.de/ag_algebra/software/assmann</a></span>).
-</p>
-
-
<p><a id="biBAEi05" name="biBAEi05"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>AE05</span>] <b class='BibAuthor'>Assmann, B. and
Eick, B.</b>,
@@ -48,6 +37,17 @@
</p>
+<p><a id="biBAssmann" name="biBAssmann"></a></p>
+<p class='BibEntry'>
+[<span class='BibKey'>Ass03</span>] <b class='BibAuthor'>Assmann, B.</b>,
+ <i class='BibTitle'>Polycyclic presentations for matrix groups</i>,
+ <span class='BibType'>Diplomarbeit</span>,
+ <span class='BibSchool'>TU Braunschweig</span>
+ (<span class='BibYear'>2003</span>)<br />
+(<span class='BibNote'><a
href="http://www.icm.tu-bs.de/ag_algebra/software/assmann";>http://www.icm.tu-bs.de/ag_algebra/software/assmann</a></span>).
+</p>
+
+
<p><a id="biBEick" name="biBEick"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Eic01</span>] <b class='BibAuthor'>Eick, B.</b>,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chapBib.txt
new/polenta-1.3.8/doc/chapBib.txt
--- old/polenta-1.3.7/doc/chapBib.txt 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chapBib.txt 2017-12-19 12:41:04.000000000 +0100
@@ -2,14 +2,14 @@
[1XReferences[101X
- [[20XAss03[120X] [16XAssmann, B.[116X, [17XPolycyclic
presentations for matrix groups[117X,
- Diplomarbeit, TU Braunschweig (2003),
- ((http://www.icm.tu-bs.de/ag_algebra/software/assmann)).
-
[[20XAE05[120X] [16XAssmann, B. and Eick, B.[116X, [17XComputing
polycyclic presentations for
polycyclic rational matrix groups[117X, [18XJ. Symbolic
Comput.[118X, [19X40[119X, 6 (2005),
1269--1284.
+ [[20XAss03[120X] [16XAssmann, B.[116X, [17XPolycyclic
presentations for matrix groups[117X,
+ Diplomarbeit, TU Braunschweig (2003),
+ ((http://www.icm.tu-bs.de/ag_algebra/software/assmann)).
+
[[20XEic01[120X] [16XEick, B.[116X, [17XAlgorithms for Polycyclic
Groups[117X, Habilitationsschrift,
Gesamthochschule Kassel (2001).
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chapBib_mj.html
new/polenta-1.3.8/doc/chapBib_mj.html
--- old/polenta-1.3.7/doc/chapBib_mj.html 2016-11-11 20:34:47.000000000
+0100
+++ new/polenta-1.3.8/doc/chapBib_mj.html 2017-12-19 12:41:04.000000000
+0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - References</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -28,17 +28,6 @@
<h3>References</h3>
-<p><a id="biBAssmann" name="biBAssmann"></a></p>
-<p class='BibEntry'>
-[<span class='BibKey'>Ass03</span>] <b class='BibAuthor'>Assmann, B.</b>,
- <i class='BibTitle'>Polycyclic presentations for matrix groups</i>,
- <span class='BibType'>Diplomarbeit</span>,
- <span class='BibSchool'>TU Braunschweig</span>
- (<span class='BibYear'>2003</span>)<br />
-(<span class='BibNote'><a
href="http://www.icm.tu-bs.de/ag_algebra/software/assmann";>http://www.icm.tu-bs.de/ag_algebra/software/assmann</a></span>).
-</p>
-
-
<p><a id="biBAEi05" name="biBAEi05"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>AE05</span>] <b class='BibAuthor'>Assmann, B. and
Eick, B.</b>,
@@ -51,6 +40,17 @@
</p>
+<p><a id="biBAssmann" name="biBAssmann"></a></p>
+<p class='BibEntry'>
+[<span class='BibKey'>Ass03</span>] <b class='BibAuthor'>Assmann, B.</b>,
+ <i class='BibTitle'>Polycyclic presentations for matrix groups</i>,
+ <span class='BibType'>Diplomarbeit</span>,
+ <span class='BibSchool'>TU Braunschweig</span>
+ (<span class='BibYear'>2003</span>)<br />
+(<span class='BibNote'><a
href="http://www.icm.tu-bs.de/ag_algebra/software/assmann";>http://www.icm.tu-bs.de/ag_algebra/software/assmann</a></span>).
+</p>
+
+
<p><a id="biBEick" name="biBEick"></a></p>
<p class='BibEntry'>
[<span class='BibKey'>Eic01</span>] <b class='BibAuthor'>Eick, B.</b>,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chapInd.html
new/polenta-1.3.8/doc/chapInd.html
--- old/polenta-1.3.7/doc/chapInd.html 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chapInd.html 2017-12-19 12:41:04.000000000 +0100
@@ -25,27 +25,27 @@
<div class="index">
<h3>Index</h3>
-<code class="func">CompositionSeriesAbelianMatGroup</code> <a
href="chap2.html#X86FB6E9B801A37D4">2.2-4</a><br />
-<code class="func">CompositionSeriesTriangularizableMatGroup</code> <a
href="chap2.html#X78DE110C7E2A493C">2.2-5</a><br />
-<code class="func">HomogeneousSeriesAbelianMatGroup</code> <a
href="chap2.html#X8524F992828B6A71">2.2-2</a><br />
-<code class="func">HomogeneousSeriesTriangularizableMatGroup</code> <a
href="chap2.html#X87D9F67C7CBB1499">2.2-3</a><br />
-<code class="func">ImageElm</code> <a
href="chap2.html#X85ADB89B7C8DD7D0">2.1-3</a><br />
-<code class="func">ImagesRepresentative</code> <a
href="chap2.html#X85ADB89B7C8DD7D0">2.1-3</a><br />
-<code class="func">ImagesSet</code> <a
href="chap2.html#X85ADB89B7C8DD7D0">2.1-3</a><br />
-<code class="func">InfoPolenta</code> <a
href="chap5.html#X809F2CFB87393CE0">5.1-1</a><br />
-Installation <a href="chap4.html#X8360C04082558A12">4.</a><br />
-<code class="func">IsomorphismPcpGroup</code> <a
href="chap2.html#X8771540F7A235763">2.1-2</a><br />
-<code class="func">IsPolycyclicGroup</code> <a
href="chap2.html#X7D7456077D3D1B86">2.1-6</a><br />
-<code class="func">IsSolvableGroup</code> <a
href="chap2.html#X809C78D5877D31DF">2.1-4</a><br />
-<code class="func">IsTriangularizableMatGroup</code> <a
href="chap2.html#X7EE01C207C214C1F">2.1-5</a><br />
-License <a href="chap0.html#X81488B807F2A1CF1">.-1</a><br />
-Loading the <strong class="pkg">Polenta</strong> package <a
href="chap4.html#X7B5D69ED82E9E5BD">4.2</a><br />
-<code class="func">PcpGroupByMatGroup</code> <a
href="chap2.html#X7A1BC4437FD92201">2.1-1</a><br />
-Polenta <a href="chap1.html#X7DFB63A97E67C0A1">1.</a><br />
-<code class="func">PolExamples</code> <a
href="chap2.html#X7C7C3EFA7E49F932">2.4-1</a><br />
-Polycyclic <a href="chap1.html#X7DFB63A97E67C0A1">1.</a><br />
-<code class="func">RadicalSeriesSolvableMatGroup</code> <a
href="chap2.html#X84472FDC863322BD">2.2-1</a><br />
-<code class="func">SubgroupsUnipotentByAbelianByFinite</code> <a
href="chap2.html#X79273B8581D15356">2.3-1</a><br />
+<code class="func">CompositionSeriesAbelianMatGroup</code> <a
href="chap2.html#X86FB6E9B801A37D4">2.2-4</a> <br />
+<code class="func">CompositionSeriesTriangularizableMatGroup</code> <a
href="chap2.html#X78DE110C7E2A493C">2.2-5</a> <br />
+<code class="func">HomogeneousSeriesAbelianMatGroup</code> <a
href="chap2.html#X8524F992828B6A71">2.2-2</a> <br />
+<code class="func">HomogeneousSeriesTriangularizableMatGroup</code> <a
href="chap2.html#X87D9F67C7CBB1499">2.2-3</a> <br />
+<code class="func">ImageElm</code> <a
href="chap2.html#X85ADB89B7C8DD7D0">2.1-3</a> <br />
+<code class="func">ImagesRepresentative</code> <a
href="chap2.html#X85ADB89B7C8DD7D0">2.1-3</a> <br />
+<code class="func">ImagesSet</code> <a
href="chap2.html#X85ADB89B7C8DD7D0">2.1-3</a> <br />
+<code class="func">InfoPolenta</code> <a
href="chap5.html#X809F2CFB87393CE0">5.1-1</a> <br />
+Installation <a href="chap4.html#X8360C04082558A12">4.</a> <br />
+<code class="func">IsomorphismPcpGroup</code> <a
href="chap2.html#X8771540F7A235763">2.1-2</a> <br />
+<code class="func">IsPolycyclicGroup</code> <a
href="chap2.html#X7D7456077D3D1B86">2.1-6</a> <br />
+<code class="func">IsSolvableGroup</code> <a
href="chap2.html#X809C78D5877D31DF">2.1-4</a> <br />
+<code class="func">IsTriangularizableMatGroup</code> <a
href="chap2.html#X7EE01C207C214C1F">2.1-5</a> <br />
+License <a href="chap0.html#X81488B807F2A1CF1">.-1</a> <br />
+Loading the <strong class="pkg">Polenta</strong> package <a
href="chap4.html#X802ED64A87AA11DC">4.2</a> <br />
+<code class="func">PcpGroupByMatGroup</code> <a
href="chap2.html#X7A1BC4437FD92201">2.1-1</a> <br />
+Polenta <a href="chap1.html#X7DFB63A97E67C0A1">1.</a> <br />
+<code class="func">PolExamples</code> <a
href="chap2.html#X7C7C3EFA7E49F932">2.4-1</a> <br />
+Polycyclic <a href="chap1.html#X7DFB63A97E67C0A1">1.</a> <br />
+<code class="func">RadicalSeriesSolvableMatGroup</code> <a
href="chap2.html#X84472FDC863322BD">2.2-1</a> <br />
+<code class="func">SubgroupsUnipotentByAbelianByFinite</code> <a
href="chap2.html#X79273B8581D15356">2.3-1</a> <br />
<p> </p>
</div>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chapInd.txt
new/polenta-1.3.8/doc/chapInd.txt
--- old/polenta-1.3.7/doc/chapInd.txt 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/chapInd.txt 2017-12-19 12:41:04.000000000 +0100
@@ -2,27 +2,27 @@
[1XIndex[101X
- [2XCompositionSeriesAbelianMatGroup[102X 2.2-4
- [2XCompositionSeriesTriangularizableMatGroup[102X 2.2-5
- [2XHomogeneousSeriesAbelianMatGroup[102X 2.2-2
- [2XHomogeneousSeriesTriangularizableMatGroup[102X 2.2-3
- [2XImageElm[102X 2.1-3
- [2XImagesRepresentative[102X 2.1-3
- [2XImagesSet[102X 2.1-3
- [2XInfoPolenta[102X 5.1-1
- Installation 4.
- [2XIsomorphismPcpGroup[102X 2.1-2
- [2XIsPolycyclicGroup[102X 2.1-6
- [2XIsSolvableGroup[102X 2.1-4
- [2XIsTriangularizableMatGroup[102X 2.1-5
- License .-1
- Loading the [5XPolenta[105X package 4.2
- [2XPcpGroupByMatGroup[102X 2.1-1
- Polenta 1.
- [2XPolExamples[102X 2.4-1
- Polycyclic 1.
- [2XRadicalSeriesSolvableMatGroup[102X 2.2-1
- [2XSubgroupsUnipotentByAbelianByFinite[102X 2.3-1
+ [2XCompositionSeriesAbelianMatGroup[102X 2.2-4
+ [2XCompositionSeriesTriangularizableMatGroup[102X 2.2-5
+ [2XHomogeneousSeriesAbelianMatGroup[102X 2.2-2
+ [2XHomogeneousSeriesTriangularizableMatGroup[102X 2.2-3
+ [2XImageElm[102X 2.1-3
+ [2XImagesRepresentative[102X 2.1-3
+ [2XImagesSet[102X 2.1-3
+ [2XInfoPolenta[102X 5.1-1
+ Installation 4.
+ [2XIsomorphismPcpGroup[102X 2.1-2
+ [2XIsPolycyclicGroup[102X 2.1-6
+ [2XIsSolvableGroup[102X 2.1-4
+ [2XIsTriangularizableMatGroup[102X 2.1-5
+ License .-1
+ Loading the [5XPolenta[105X package 4.2
+ [2XPcpGroupByMatGroup[102X 2.1-1
+ Polenta 1.
+ [2XPolExamples[102X 2.4-1
+ Polycyclic 1.
+ [2XRadicalSeriesSolvableMatGroup[102X 2.2-1
+ [2XSubgroupsUnipotentByAbelianByFinite[102X 2.3-1
-------------------------------------------------------
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/chapInd_mj.html
new/polenta-1.3.8/doc/chapInd_mj.html
--- old/polenta-1.3.7/doc/chapInd_mj.html 2016-11-11 20:34:47.000000000
+0100
+++ new/polenta-1.3.8/doc/chapInd_mj.html 2017-12-19 12:41:04.000000000
+0100
@@ -6,7 +6,7 @@
<html xmlns="http://www.w3.org/1999/xhtml"; xml:lang="en">
<head>
<script type="text/javascript"
-
src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
+
src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML";>
</script>
<title>GAP (Polenta) - Index</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
@@ -28,27 +28,27 @@
<div class="index">
<h3>Index</h3>
-<code class="func">CompositionSeriesAbelianMatGroup</code> <a
href="chap2_mj.html#X86FB6E9B801A37D4">2.2-4</a><br />
-<code class="func">CompositionSeriesTriangularizableMatGroup</code> <a
href="chap2_mj.html#X78DE110C7E2A493C">2.2-5</a><br />
-<code class="func">HomogeneousSeriesAbelianMatGroup</code> <a
href="chap2_mj.html#X8524F992828B6A71">2.2-2</a><br />
-<code class="func">HomogeneousSeriesTriangularizableMatGroup</code> <a
href="chap2_mj.html#X87D9F67C7CBB1499">2.2-3</a><br />
-<code class="func">ImageElm</code> <a
href="chap2_mj.html#X85ADB89B7C8DD7D0">2.1-3</a><br />
-<code class="func">ImagesRepresentative</code> <a
href="chap2_mj.html#X85ADB89B7C8DD7D0">2.1-3</a><br />
-<code class="func">ImagesSet</code> <a
href="chap2_mj.html#X85ADB89B7C8DD7D0">2.1-3</a><br />
-<code class="func">InfoPolenta</code> <a
href="chap5_mj.html#X809F2CFB87393CE0">5.1-1</a><br />
-Installation <a href="chap4_mj.html#X8360C04082558A12">4.</a><br />
-<code class="func">IsomorphismPcpGroup</code> <a
href="chap2_mj.html#X8771540F7A235763">2.1-2</a><br />
-<code class="func">IsPolycyclicGroup</code> <a
href="chap2_mj.html#X7D7456077D3D1B86">2.1-6</a><br />
-<code class="func">IsSolvableGroup</code> <a
href="chap2_mj.html#X809C78D5877D31DF">2.1-4</a><br />
-<code class="func">IsTriangularizableMatGroup</code> <a
href="chap2_mj.html#X7EE01C207C214C1F">2.1-5</a><br />
-License <a href="chap0_mj.html#X81488B807F2A1CF1">.-1</a><br />
-Loading the <strong class="pkg">Polenta</strong> package <a
href="chap4_mj.html#X7B5D69ED82E9E5BD">4.2</a><br />
-<code class="func">PcpGroupByMatGroup</code> <a
href="chap2_mj.html#X7A1BC4437FD92201">2.1-1</a><br />
-Polenta <a href="chap1_mj.html#X7DFB63A97E67C0A1">1.</a><br />
-<code class="func">PolExamples</code> <a
href="chap2_mj.html#X7C7C3EFA7E49F932">2.4-1</a><br />
-Polycyclic <a href="chap1_mj.html#X7DFB63A97E67C0A1">1.</a><br />
-<code class="func">RadicalSeriesSolvableMatGroup</code> <a
href="chap2_mj.html#X84472FDC863322BD">2.2-1</a><br />
-<code class="func">SubgroupsUnipotentByAbelianByFinite</code> <a
href="chap2_mj.html#X79273B8581D15356">2.3-1</a><br />
+<code class="func">CompositionSeriesAbelianMatGroup</code> <a
href="chap2_mj.html#X86FB6E9B801A37D4">2.2-4</a> <br />
+<code class="func">CompositionSeriesTriangularizableMatGroup</code> <a
href="chap2_mj.html#X78DE110C7E2A493C">2.2-5</a> <br />
+<code class="func">HomogeneousSeriesAbelianMatGroup</code> <a
href="chap2_mj.html#X8524F992828B6A71">2.2-2</a> <br />
+<code class="func">HomogeneousSeriesTriangularizableMatGroup</code> <a
href="chap2_mj.html#X87D9F67C7CBB1499">2.2-3</a> <br />
+<code class="func">ImageElm</code> <a
href="chap2_mj.html#X85ADB89B7C8DD7D0">2.1-3</a> <br />
+<code class="func">ImagesRepresentative</code> <a
href="chap2_mj.html#X85ADB89B7C8DD7D0">2.1-3</a> <br />
+<code class="func">ImagesSet</code> <a
href="chap2_mj.html#X85ADB89B7C8DD7D0">2.1-3</a> <br />
+<code class="func">InfoPolenta</code> <a
href="chap5_mj.html#X809F2CFB87393CE0">5.1-1</a> <br />
+Installation <a href="chap4_mj.html#X8360C04082558A12">4.</a> <br />
+<code class="func">IsomorphismPcpGroup</code> <a
href="chap2_mj.html#X8771540F7A235763">2.1-2</a> <br />
+<code class="func">IsPolycyclicGroup</code> <a
href="chap2_mj.html#X7D7456077D3D1B86">2.1-6</a> <br />
+<code class="func">IsSolvableGroup</code> <a
href="chap2_mj.html#X809C78D5877D31DF">2.1-4</a> <br />
+<code class="func">IsTriangularizableMatGroup</code> <a
href="chap2_mj.html#X7EE01C207C214C1F">2.1-5</a> <br />
+License <a href="chap0_mj.html#X81488B807F2A1CF1">.-1</a> <br />
+Loading the <strong class="pkg">Polenta</strong> package <a
href="chap4_mj.html#X802ED64A87AA11DC">4.2</a> <br />
+<code class="func">PcpGroupByMatGroup</code> <a
href="chap2_mj.html#X7A1BC4437FD92201">2.1-1</a> <br />
+Polenta <a href="chap1_mj.html#X7DFB63A97E67C0A1">1.</a> <br />
+<code class="func">PolExamples</code> <a
href="chap2_mj.html#X7C7C3EFA7E49F932">2.4-1</a> <br />
+Polycyclic <a href="chap1_mj.html#X7DFB63A97E67C0A1">1.</a> <br />
+<code class="func">RadicalSeriesSolvableMatGroup</code> <a
href="chap2_mj.html#X84472FDC863322BD">2.2-1</a> <br />
+<code class="func">SubgroupsUnipotentByAbelianByFinite</code> <a
href="chap2_mj.html#X79273B8581D15356">2.3-1</a> <br />
<p> </p>
</div>
Binary files old/polenta-1.3.7/doc/manual.pdf and
new/polenta-1.3.8/doc/manual.pdf differ
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/manual.six
new/polenta-1.3.8/doc/manual.six
--- old/polenta-1.3.7/doc/manual.six 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/manual.six 2017-12-19 12:41:04.000000000 +0100
@@ -25,9 +25,9 @@
[ "\033[1X\033[33X\033[0;-2YModule series\033[133X\033[101X", "2.2",
[ 2, 2, 0 ], 70, 6, "module series", "X80D1E9E07DB87F97" ],
[ "\033[1X\033[33X\033[0;-2YSubgroups\033[133X\033[101X", "2.3",
- [ 2, 3, 0 ], 132, 7, "subgroups", "X7BA181CA81D785BB" ],
+ [ 2, 3, 0 ], 133, 7, "subgroups", "X7BA181CA81D785BB" ],
[ "\033[1X\033[33X\033[0;-2YExamples\033[133X\033[101X", "2.4",
- [ 2, 4, 0 ], 145, 8, "examples", "X7A489A5D79DA9E5C" ],
+ [ 2, 4, 0 ], 146, 8, "examples", "X7A489A5D79DA9E5C" ],
[ "\033[1X\033[33X\033[0;-2YAn example application\033[133X\033[101X", "3",
[ 3, 0, 0 ], 1, 9, "an example application", "X81CAD2F27B2066C4" ],
[
@@ -47,7 +47,7 @@
[
"\033[1X\033[33X\033[0;-2YLoading the
\033[5XPolenta\033[105X\033[101X\027\\
033[1X\027 package\033[133X\033[101X", "4.2", [ 4, 2, 0 ], 19, 12,
- "loading the polenta\027\027 package", "X7B5D69ED82E9E5BD" ],
+ "loading the polenta package", "X802ED64A87AA11DC" ],
[ "\033[1X\033[33X\033[0;-2YRunning the test suite\033[133X\033[101X",
"4.3", [ 4, 3, 0 ], 26, 12, "running the test suite",
"X796DF52483B61C74" ],
@@ -82,26 +82,26 @@
[ "\033[2XIsPolycyclicGroup\033[102X", "2.1-6", [ 2, 1, 6 ], 63, 6,
"ispolycyclicgroup", "X7D7456077D3D1B86" ],
[ "\033[2XRadicalSeriesSolvableMatGroup\033[102X", "2.2-1", [ 2, 2, 1 ],
- 85, 6, "radicalseriessolvablematgroup", "X84472FDC863322BD" ],
+ 86, 6, "radicalseriessolvablematgroup", "X84472FDC863322BD" ],
[ "\033[2XHomogeneousSeriesAbelianMatGroup\033[102X", "2.2-2", [ 2, 2, 2 ],
- 94, 7, "homogeneousseriesabelianmatgroup", "X8524F992828B6A71" ],
+ 95, 7, "homogeneousseriesabelianmatgroup", "X8524F992828B6A71" ],
[ "\033[2XHomogeneousSeriesTriangularizableMatGroup\033[102X", "2.2-3",
- [ 2, 2, 3 ], 104, 7, "homogeneousseriestriangularizablematgroup",
+ [ 2, 2, 3 ], 105, 7, "homogeneousseriestriangularizablematgroup",
"X87D9F67C7CBB1499" ],
[ "\033[2XCompositionSeriesAbelianMatGroup\033[102X", "2.2-4", [ 2, 2, 4 ],
- 116, 7, "compositionseriesabelianmatgroup", "X86FB6E9B801A37D4" ],
+ 117, 7, "compositionseriesabelianmatgroup", "X86FB6E9B801A37D4" ],
[ "\033[2XCompositionSeriesTriangularizableMatGroup\033[102X", "2.2-5",
- [ 2, 2, 5 ], 124, 7, "compositionseriestriangularizablematgroup",
+ [ 2, 2, 5 ], 125, 7, "compositionseriestriangularizablematgroup",
"X78DE110C7E2A493C" ],
[ "\033[2XSubgroupsUnipotentByAbelianByFinite\033[102X", "2.3-1",
- [ 2, 3, 1 ], 135, 7, "subgroupsunipotentbyabelianbyfinite",
+ [ 2, 3, 1 ], 136, 7, "subgroupsunipotentbyabelianbyfinite",
"X79273B8581D15356" ],
- [ "\033[2XPolExamples\033[102X", "2.4-1", [ 2, 4, 1 ], 148, 8,
+ [ "\033[2XPolExamples\033[102X", "2.4-1", [ 2, 4, 1 ], 149, 8,
"polexamples", "X7C7C3EFA7E49F932" ],
[ "Installation", "4.", [ 4, 0, 0 ], 1, 12, "installation",
"X8360C04082558A12" ],
[ "Loading the \033[5XPolenta\033[105X package", "4.2", [ 4, 2, 0 ], 19,
- 12, "loading the polenta package", "X7B5D69ED82E9E5BD" ],
+ 12, "loading the polenta package", "X802ED64A87AA11DC" ],
[ "\033[2XInfoPolenta\033[102X", "5.1-1", [ 5, 1, 1 ], 10, 13,
"infopolenta", "X809F2CFB87393CE0" ] ]
);
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/doc/title.xml
new/polenta-1.3.8/doc/title.xml
--- old/polenta-1.3.7/doc/title.xml 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/doc/title.xml 2017-12-19 12:41:04.000000000 +0100
@@ -9,7 +9,7 @@
Polycyclic presentations for matrix groups
</Subtitle>
<Version>
- 1.3.7
+ 1.3.8
</Version>
<Author>
Björn Assmann<Alt Only="LaTeX"><Br/></Alt>
@@ -30,7 +30,7 @@
</Author>
<Date>
- 09/11/2016
+ 29 November 2017
</Date>
<Copyright>
<Index>License</Index> ©right; 2003-2007 by
Björn Assmann<P/> The &Polenta; package is free software;
you can redistribute it and/or modify it under the terms of the
<URL Text="GNU General Public
License">http://www.fsf.org/licenses/gpl.html</URL> as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/polenta-1.3.7/tst/testall.g
new/polenta-1.3.8/tst/testall.g
--- old/polenta-1.3.7/tst/testall.g 2016-11-11 20:34:47.000000000 +0100
+++ new/polenta-1.3.8/tst/testall.g 2017-12-19 12:41:04.000000000 +0100
@@ -1,8 +1,12 @@
LoadPackage( "polenta" );
dirs := DirectoriesPackageLibrary( "polenta", "tst" );
+tests := [
+ "bugfix.tst",
+ "polenta_finite.tst",
+ "POLENTA.tst",
+ "POLENTA2.tst", # slow
+ #"POLENTA3.tst", # VERY slow
+];
+tests := List(tests, f -> Filename(dirs,f));
-Test( Filename( dirs, "bugfix.tst" ) );
-Test( Filename( dirs, "polenta_finite.tst" ) );
-Test( Filename( dirs, "POLENTA.tst" ) );
-Test( Filename( dirs, "POLENTA2.tst" ) ); # slow
-#Test( Filename( dirs, "POLENTA3.tst" ) ); # VERY slow
+TestDirectory(tests, rec(exitGAP := true));
