Hello community,
here is the log from the commit of package gap-modules for openSUSE:Factory
checked in at 2018-02-06 16:50:12
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/gap-modules (Old)
and /work/SRC/openSUSE:Factory/.gap-modules.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gap-modules"
Tue Feb 6 16:50:12 2018 rev:3 rq:573251 version:2018.01.07
Changes:
--------
--- /work/SRC/openSUSE:Factory/gap-modules/gap-modules.changes 2018-01-23
13:50:50.491634549 +0100
+++ /work/SRC/openSUSE:Factory/.gap-modules.new/gap-modules.changes
2018-02-06 16:50:13.789047884 +0100
@@ -1,0 +2,6 @@
+Mon Feb 5 22:59:49 UTC 2018 - jeng...@inai.de
+
+- Update to new upstream release 2018.01.07
+ * There shall be no changelog
+
+-------------------------------------------------------------------
Old:
----
Modules-2017.09.10.tar.bz2
New:
----
Modules-2018.01.07.tar.bz2
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ gap-modules.spec ++++++
--- /var/tmp/diff_new_pack.wJjRbb/_old 2018-02-06 16:50:15.000991129 +0100
+++ /var/tmp/diff_new_pack.wJjRbb/_new 2018-02-06 16:50:15.004990941 +0100
@@ -1,7 +1,7 @@
#
# spec file for package gap-modules
#
-# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2018 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-modules
-Version: 2017.09.10
+Version: 2018.01.07
Release: 0
Summary: GAP: Abelian Finitely Presented Modules over Computable Rings
License: GPL-2.0
@@ -33,7 +33,7 @@
Requires: gap-core >= 4.7
Requires: gap-gapdoc >= 1.0
Requires: gap-homalg >= 2017.03.18
-Requires: gap-matricesforhomalg >= 2017.03.15
+Requires: gap-matricesforhomalg >= 2017.12.21
Requires: gap-toolsforhomalg >= 2013.04.12
%description
++++++ Modules-2017.09.10.tar.bz2 -> Modules-2018.01.07.tar.bz2 ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/PackageInfo.g
new/Modules-2018.01.07/PackageInfo.g
--- old/Modules-2017.09.10/PackageInfo.g 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/PackageInfo.g 2018-01-17 14:50:19.000000000
+0100
@@ -5,7 +5,7 @@
Subtitle := "A homalg based package for the Abelian category of finitely
presented modules over computable rings",
Version := Maximum( [
- "2017.09.10", ## Mohamed's version
+ "2018.01.07", ## Mohamed's version
## this line prevents merge conflicts
"2014.07.02", ## Markus' version
## this line prevents merge conflicts
@@ -149,7 +149,7 @@
Dependencies := rec(
GAP := ">=4.7",
NeededOtherPackages := [
- [ "MatricesForHomalg", ">=2017.03.15" ],
+ [ "MatricesForHomalg", ">=2017.12.21" ],
[ "ToolsForHomalg", ">=2013.04.12" ],
[ "homalg", ">=2017.03.18" ],
[ "GAPDoc", ">= 1.0" ] ],
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/VERSION
new/Modules-2018.01.07/VERSION
--- old/Modules-2017.09.10/VERSION 2017-12-19 11:18:48.000000000 +0100
+++ new/Modules-2018.01.07/VERSION 2018-01-17 14:50:19.000000000 +0100
@@ -1 +1 @@
-2017.09.10
\ No newline at end of file
+2018.01.07
\ No newline at end of file
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap0.html
new/Modules-2018.01.07/doc/chap0.html
--- old/Modules-2017.09.10/doc/chap0.html 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap0.html 2018-01-17 14:50:19.000000000
+0100
@@ -28,7 +28,7 @@
<h2>A <strong class="pkg">homalg</strong> based Package for the Abelian
Category of Finitely Presented Modules over Computable Rings</h2>
-<p>Version 2017.09.10</p>
+<p>Version 2018.01.07</p>
<p>September 2015</p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap0.txt
new/Modules-2018.01.07/doc/chap0.txt
--- old/Modules-2017.09.10/doc/chap0.txt 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap0.txt 2018-01-17 14:50:19.000000000
+0100
@@ -7,7 +7,7 @@
Modules over Computable Rings[101X
- Version 2017.09.10
+ Version 2018.01.07
September 2015
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap0_mj.html
new/Modules-2018.01.07/doc/chap0_mj.html
--- old/Modules-2017.09.10/doc/chap0_mj.html 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap0_mj.html 2018-01-17 14:50:19.000000000
+0100
@@ -31,7 +31,7 @@
<h2>A <strong class="pkg">homalg</strong> based Package for the Abelian
Category of Finitely Presented Modules over Computable Rings</h2>
-<p>Version 2017.09.10</p>
+<p>Version 2018.01.07</p>
<p>September 2015</p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap1.html
new/Modules-2018.01.07/doc/chap1.html
--- old/Modules-2017.09.10/doc/chap1.html 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap1.html 2018-01-17 14:50:19.000000000
+0100
@@ -71,7 +71,7 @@
</li>
</ul>
-<p>Beside these so-called constructors <strong class="pkg">Modules</strong>
provides <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">operations</span></a> to perform computations with these
objects. The list of operations includes:</p>
+<p>Beside these so-called constructors <strong class="pkg">Modules</strong>
provides <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">operations</span></a> to perform computations with these
objects. The list of operations includes:</p>
<ul>
@@ -91,7 +91,7 @@
</li>
</ul>
-<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">methods</span></a> are <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/ref/chap78_mj.html#X795EE8257848B438"><span
class="RefLink">installed</span></a> for each operation, depending on <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span
class="RefLink">properties</span></a> and <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span
class="RefLink">attributes</span></a> of these objects. These properties and
attributes can themselves be computed by methods installed for this purpose.</p>
+<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">methods</span></a> are <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/ref/chap78_mj.html#X795EE8257848B438"><span
class="RefLink">installed</span></a> for each operation, depending on <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span
class="RefLink">properties</span></a> and <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span
class="RefLink">attributes</span></a> of these objects. These properties and
attributes can themselves be computed by methods installed for this purpose.</p>
<p><a id="X84913827857A1F7B" name="X84913827857A1F7B"></a></p>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap10.html
new/Modules-2018.01.07/doc/chap10.html
--- old/Modules-2017.09.10/doc/chap10.html 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap10.html 2018-01-17 14:50:19.000000000
+0100
@@ -740,7 +740,7 @@
. s
<span class="GAPprompt">gap></span> <span class="GAPinput">filt :=
FiltrationBySpectralSequence( II_E );</span>
<An ascending filtration with degrees [ -1 .. 0 ] and graded parts:
- 0: <A non-torsion left module presented by 1 relation for 2
generators>
+ 0: <A rank 1 left module presented by 1 relation for 2 generators>
-1: <A non-zero left module presented by 2 relations for 2 generators>
of
<A non-zero left module presented by 10 relations for 6 generators>>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap10.txt
new/Modules-2018.01.07/doc/chap10.txt
--- old/Modules-2017.09.10/doc/chap10.txt 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap10.txt 2018-01-17 14:50:19.000000000
+0100
@@ -658,7 +658,7 @@
[4X[28X . s[128X[104X
[4X[25Xgap>[125X [27Xfilt := FiltrationBySpectralSequence( II_E
);[127X[104X
[4X[28X<An ascending filtration with degrees [ -1 .. 0 ] and graded
parts:[128X[104X
- [4X[28X 0: <A non-torsion left module presented by 1 relation for
2 generators>[128X[104X
+ [4X[28X 0: <A rank 1 left module presented by 1 relation for 2
generators>[128X[104X
[4X[28X -1: <A non-zero left module presented by 2 relations for 2
generators>[128X[104X
[4X[28Xof[128X[104X
[4X[28X<A non-zero left module presented by 10 relations for 6
generators>>[128X[104X
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap10_mj.html
new/Modules-2018.01.07/doc/chap10_mj.html
--- old/Modules-2017.09.10/doc/chap10_mj.html 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap10_mj.html 2018-01-17 14:50:19.000000000
+0100
@@ -743,7 +743,7 @@
. s
<span class="GAPprompt">gap></span> <span class="GAPinput">filt :=
FiltrationBySpectralSequence( II_E );</span>
<An ascending filtration with degrees [ -1 .. 0 ] and graded parts:
- 0: <A non-torsion left module presented by 1 relation for 2
generators>
+ 0: <A rank 1 left module presented by 1 relation for 2 generators>
-1: <A non-zero left module presented by 2 relations for 2 generators>
of
<A non-zero left module presented by 10 relations for 6 generators>>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/doc/chap1_mj.html
new/Modules-2018.01.07/doc/chap1_mj.html
--- old/Modules-2017.09.10/doc/chap1_mj.html 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/doc/chap1_mj.html 2018-01-17 14:50:19.000000000
+0100
@@ -74,7 +74,7 @@
</li>
</ul>
-<p>Beside these so-called constructors <strong class="pkg">Modules</strong>
provides <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">operations</span></a> to perform computations with these
objects. The list of operations includes:</p>
+<p>Beside these so-called constructors <strong class="pkg">Modules</strong>
provides <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">operations</span></a> to perform computations with these
objects. The list of operations includes:</p>
<ul>
@@ -94,7 +94,7 @@
</li>
</ul>
-<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">methods</span></a> are <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/ref/chap78_mj.html#X795EE8257848B438"><span
class="RefLink">installed</span></a> for each operation, depending on <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span
class="RefLink">properties</span></a> and <a
href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span
class="RefLink">attributes</span></a> of these objects. These properties and
attributes can themselves be computed by methods installed for this purpose.</p>
+<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span
class="RefLink">methods</span></a> are <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/ref/chap78_mj.html#X795EE8257848B438"><span
class="RefLink">installed</span></a> for each operation, depending on <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span
class="RefLink">properties</span></a> and <a
href="/Users/mo/software/gap/build/gap4r8p8/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span
class="RefLink">attributes</span></a> of these objects. These properties and
attributes can themselves be computed by methods installed for this purpose.</p>
<p><a id="X84913827857A1F7B" name="X84913827857A1F7B"></a></p>
Binary files old/Modules-2017.09.10/doc/manual.pdf and
new/Modules-2018.01.07/doc/manual.pdf differ
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/gap/BasicFunctors.gi
new/Modules-2018.01.07/gap/BasicFunctors.gi
--- old/Modules-2017.09.10/gap/BasicFunctors.gi 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/gap/BasicFunctors.gi 2018-01-17 14:50:19.000000000
+0100
@@ -1534,7 +1534,7 @@
## . s
## gap> filt := FiltrationBySpectralSequence( II_E );
## <An ascending filtration with degrees [ -1 .. 0 ] and graded parts:
-## 0: <A non-torsion left module presented by 1 relation for 2
generators>
+## 0: <A rank 1 left module presented by 1 relation for 2 generators>
## -1: <A non-zero left module presented by 2 relations for 2
generators>
## of
## <A non-zero left module presented by 10 relations for 6 generators>>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/gap/HomalgModule.gd
new/Modules-2018.01.07/gap/HomalgModule.gd
--- old/Modules-2017.09.10/gap/HomalgModule.gd 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/gap/HomalgModule.gd 2018-01-17 14:50:19.000000000
+0100
@@ -576,6 +576,9 @@
DeclareOperation( "Eliminate",
[ IsHomalgModule, IsHomalgRingElement ] );
+DeclareOperation( "Eliminate",
+ [ IsHomalgModule ] );
+
DeclareOperation( "LeadingModule",
[ IsHomalgModule ] );
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/Modules-2017.09.10/gap/Modules.gi
new/Modules-2018.01.07/gap/Modules.gi
--- old/Modules-2017.09.10/gap/Modules.gi 2017-12-19 11:18:48.000000000
+0100
+++ new/Modules-2018.01.07/gap/Modules.gi 2018-01-17 14:50:19.000000000
+0100
@@ -844,6 +844,26 @@
end );
##
+InstallMethod( Eliminate,
+ "for homalg submodules",
+ [ IsFinitelyPresentedSubmoduleRep and ConstructedAsAnIdeal ],
+
+ function( N )
+ local gen;
+
+ gen := MatrixOfGenerators( N );
+
+ gen := Eliminate( gen );
+
+ if IsHomalgLeftObjectOrMorphismOfLeftObjects( N ) then
+ return LeftSubmodule( gen );
+ else
+ return RightSubmodule( gen );
+ fi;
+
+end );
+
+##
InstallMethod( LeadingModule,
"for a homalg module",
[ IsFinitelyPresentedModuleRep ],
