Script 'mail_helper' called by obssrc
Hello community,
here is the log from the commit of package gap-matricesforhomalg for
openSUSE:Factory checked in at 2026-06-15 19:51:46
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/gap-matricesforhomalg (Old)
and /work/SRC/openSUSE:Factory/.gap-matricesforhomalg.new.1981 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gap-matricesforhomalg"
Mon Jun 15 19:51:46 2026 rev:5 rq:1359614 version:2026.04.01
Changes:
--------
---
/work/SRC/openSUSE:Factory/gap-matricesforhomalg/gap-matricesforhomalg.changes
2025-10-12 22:28:31.444173336 +0200
+++
/work/SRC/openSUSE:Factory/.gap-matricesforhomalg.new.1981/gap-matricesforhomalg.changes
2026-06-15 19:55:01.808569819 +0200
@@ -1,0 +2,6 @@
+Mon Jun 15 16:03:05 UTC 2026 - Jan Engelhardt <[email protected]>
+
+- Update to release 2026.04.01
+ * No changelog was provided
+
+-------------------------------------------------------------------
Old:
----
MatricesForHomalg-2025.09-01.tar.gz
New:
----
MatricesForHomalg-2026.04-01.tar.gz
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ gap-matricesforhomalg.spec ++++++
--- /var/tmp/diff_new_pack.SQbUSF/_old 2026-06-15 19:55:02.400594653 +0200
+++ /var/tmp/diff_new_pack.SQbUSF/_new 2026-06-15 19:55:02.404594820 +0200
@@ -1,7 +1,7 @@
#
# spec file for package gap-matricesforhomalg
#
-# Copyright (c) 2024 SUSE LLC
+# Copyright (c) 2026 SUSE LLC and contributors
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -17,8 +17,8 @@
Name: gap-matricesforhomalg
-Version: 2025.09.01
-%define sillyver 2025.09-01
+Version: 2026.04.01
+%define sillyver 2026.04-01
Release: 0
Summary: GAP: Matrices for the homalg project
License: GPL-2.0-only
@@ -28,9 +28,9 @@
Source:
https://github.com/homalg-project/homalg_project/releases/download/MatricesForHomalg-%sillyver/MatricesForHomalg-%sillyver.tar.gz
BuildArch: noarch
BuildRequires: gap-rpm-devel
-Requires: gap-core >= 4.12.1
+Requires: gap-core >= 4.13
Requires: gap-gapdoc >= 1.0
-Requires: gap-toolsforhomalg >= 2023.11.01
+Requires: gap-toolsforhomalg >= 2026.04.01
%description
The MatricesForHomalg package provides lazy evaluated matrices with
++++++ MatricesForHomalg-2025.09-01.tar.gz ->
MatricesForHomalg-2026.04-01.tar.gz ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/PackageInfo.g
new/MatricesForHomalg-2026.04-01/PackageInfo.g
--- old/MatricesForHomalg-2025.09-01/PackageInfo.g 2025-09-07
01:28:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/PackageInfo.g 2026-04-10
19:53:37.000000000 +0200
@@ -11,8 +11,8 @@
PackageName := "MatricesForHomalg",
Subtitle := "Matrices for the homalg project",
-Version := "2025.09-01",
-Date := "2025-09-07",
+Version := "2026.04-01",
+Date := "2026-04-10",
License := "GPL-2.0-or-later",
Persons := [
@@ -110,9 +110,9 @@
Dependencies := rec(
- GAP := ">= 4.12.1",
+ GAP := ">= 4.13.0",
NeededOtherPackages := [
- [ "ToolsForHomalg", ">= 2023.11-01" ],
+ [ "ToolsForHomalg", ">= 2026.04-01" ],
[ "GAPDoc", ">= 1.0" ] ],
SuggestedOtherPackages := [ ],
ExternalConditions := []
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/_entities.xml
new/MatricesForHomalg-2026.04-01/doc/_entities.xml
--- old/MatricesForHomalg-2025.09-01/doc/_entities.xml 2025-09-07
01:28:33.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/_entities.xml 2026-04-10
19:53:32.000000000 +0200
@@ -1,3 +1,6 @@
-<!ENTITY homalg '<Package>homalg</Package>'>
-<!ENTITY CAP '<Package>CAP</Package>'>
+<!ENTITY CAP 'CAP'>
<!ENTITY MatricesForHomalg '<Package>MatricesForHomalg</Package>'>
+<!ENTITY RELEASEDATE '10 April 2026'>
+<!ENTITY RELEASEYEAR '2026'>
+<!ENTITY VERSION '2026.04-01'>
+<!ENTITY homalg 'homalg'>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/chap0.html
new/MatricesForHomalg-2026.04-01/doc/chap0.html
--- old/MatricesForHomalg-2025.09-01/doc/chap0.html 2025-09-07
01:28:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/chap0.html 2026-04-10
19:53:37.000000000 +0200
@@ -29,10 +29,10 @@
<h2>Matrices for the homalg project</h2>
<p>
- 2025.09-01</p>
+ 2026.04-01</p>
<p>
- 7 September 2025
+ 10 April 2026
</p>
</div>
@@ -41,7 +41,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="https://mohamed-barakat.github.io";>https://mohamed-barakat.github.io</a></span>
@@ -51,7 +50,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="https://www.th-owl.de/eecs/fachbereich/team/markus-lange-hegermann/";>https://www.th-owl.de/eecs/fachbereich/team/markus-lange-hegermann/</a></span>
@@ -61,7 +59,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="http://wwwb.math.rwth-aachen.de/Mitarbeiter/leuner.php";>http://wwwb.math.rwth-aachen.de/Mitarbeiter/leuner.php</a></span>
@@ -71,7 +68,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="http://www.iitg.ernet.in/vinay.wagh/";>http://www.iitg.ernet.in/vinay.wagh/</a></span>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/chap0.txt
new/MatricesForHomalg-2026.04-01/doc/chap0.txt
--- old/MatricesForHomalg-2025.09-01/doc/chap0.txt 2025-09-07
01:28:33.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/chap0.txt 2026-04-10
19:53:32.000000000 +0200
@@ -6,10 +6,10 @@
[1X Matrices for the homalg project [101X
- 2025.09-01
+ 2026.04-01
- 7 September 2025
+ 10 April 2026
Mohamed Barakat
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/chap0_mj.html
new/MatricesForHomalg-2026.04-01/doc/chap0_mj.html
--- old/MatricesForHomalg-2025.09-01/doc/chap0_mj.html 2025-09-07
01:28:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/chap0_mj.html 2026-04-10
19:53:37.000000000 +0200
@@ -32,10 +32,10 @@
<h2>Matrices for the homalg project</h2>
<p>
- 2025.09-01</p>
+ 2026.04-01</p>
<p>
- 7 September 2025
+ 10 April 2026
</p>
</div>
@@ -44,7 +44,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="https://mohamed-barakat.github.io";>https://mohamed-barakat.github.io</a></span>
@@ -54,7 +53,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="https://www.th-owl.de/eecs/fachbereich/team/markus-lange-hegermann/";>https://www.th-owl.de/eecs/fachbereich/team/markus-lange-hegermann/</a></span>
@@ -64,7 +62,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="http://wwwb.math.rwth-aachen.de/Mitarbeiter/leuner.php";>http://wwwb.math.rwth-aachen.de/Mitarbeiter/leuner.php</a></span>
@@ -74,7 +71,6 @@
-
</b>
<br />Email: <span class="URL"><a
href="mailto:[email protected]";>[email protected]</a></span>
<br />Homepage: <span class="URL"><a
href="http://www.iitg.ernet.in/vinay.wagh/";>http://www.iitg.ernet.in/vinay.wagh/</a></span>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/chap3.html
new/MatricesForHomalg-2026.04-01/doc/chap3.html
--- old/MatricesForHomalg-2025.09-01/doc/chap3.html 2025-09-07
01:28:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/chap3.html 2026-04-10
19:53:37.000000000 +0200
@@ -152,14 +152,13 @@
<p>The <strong class="pkg">GAP</strong> category of <strong
class="pkg">homalg</strong> rings.</p>
-<p>(It is a subcategory of the <strong class="pkg">GAP</strong> categories
<code class="code">IsStructureObject</code> and <code
class="code">IsHomalgRingOrModule</code>.)</p>
+<p>(It is a subcategory of the <strong class="pkg">GAP</strong> categories
<code class="code">IsStructureObject</code> and <code
class="code">IsHomalgSemiringOrModule</code>.)</p>
<div class="example"><pre>
DeclareCategory( "IsHomalgRing",
- IsStructureObject and
- IsRingWithOne and
- IsHomalgRingOrModule );
+ IsHomalgSemiring and
+ IsRingWithOne );
</pre></div>
<p><a id="X81DC249883163C01" name="X81DC249883163C01"></a></p>
@@ -191,13 +190,9 @@
<div class="example"><pre>
DeclareCategory( "IsHomalgRingElement",
- IsExtAElement and
- IsExtLElement and
- IsExtRElement and
+ IsHomalgSemiringElement and
IsAdditiveElementWithInverse and
IsMultiplicativeElementWithInverse and
- IsAssociativeElement and
- IsAdditivelyCommutativeElement and
## all the above guarantees IsHomalgRingElement => IsRingElement
(in GAP4)
IsAttributeStoringRep );
</pre></div>
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/chap3.txt
new/MatricesForHomalg-2026.04-01/doc/chap3.txt
--- old/MatricesForHomalg-2025.09-01/doc/chap3.txt 2025-09-07
01:28:33.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/chap3.txt 2026-04-10
19:53:32.000000000 +0200
@@ -12,13 +12,12 @@
[33X[0;0YThe [5XGAP[105X category of [5Xhomalg[105X rings.[133X
[33X[0;0Y(It is a subcategory of the [5XGAP[105X categories
[10XIsStructureObject[110X and
- [10XIsHomalgRingOrModule[110X.)[133X
+ [10XIsHomalgSemiringOrModule[110X.)[133X
[4X[32X Code [32X[104X
[4XDeclareCategory( "IsHomalgRing",[104X
- [4X IsStructureObject and[104X
- [4X IsRingWithOne and[104X
- [4X IsHomalgRingOrModule );[104X
+ [4X IsHomalgSemiring and[104X
+ [4X IsRingWithOne );[104X
[4X[32X[104X
[1X3.1-2 IsPreHomalgRing[101X
@@ -48,13 +47,9 @@
[4X[32X Code [32X[104X
[4XDeclareCategory( "IsHomalgRingElement",[104X
- [4X IsExtAElement and[104X
- [4X IsExtLElement and[104X
- [4X IsExtRElement and[104X
+ [4X IsHomalgSemiringElement and[104X
[4X IsAdditiveElementWithInverse and[104X
[4X IsMultiplicativeElementWithInverse and[104X
- [4X IsAssociativeElement and[104X
- [4X IsAdditivelyCommutativeElement and[104X
[4X ## all the above guarantees IsHomalgRingElement =>
IsRingElement (in GAP4)[104X
[4X IsAttributeStoringRep );[104X
[4X[32X[104X
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/chap3_mj.html
new/MatricesForHomalg-2026.04-01/doc/chap3_mj.html
--- old/MatricesForHomalg-2025.09-01/doc/chap3_mj.html 2025-09-07
01:28:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/chap3_mj.html 2026-04-10
19:53:37.000000000 +0200
@@ -155,14 +155,13 @@
<p>The <strong class="pkg">GAP</strong> category of <strong
class="pkg">homalg</strong> rings.</p>
-<p>(It is a subcategory of the <strong class="pkg">GAP</strong> categories
<code class="code">IsStructureObject</code> and <code
class="code">IsHomalgRingOrModule</code>.)</p>
+<p>(It is a subcategory of the <strong class="pkg">GAP</strong> categories
<code class="code">IsStructureObject</code> and <code
class="code">IsHomalgSemiringOrModule</code>.)</p>
<div class="example"><pre>
DeclareCategory( "IsHomalgRing",
- IsStructureObject and
- IsRingWithOne and
- IsHomalgRingOrModule );
+ IsHomalgSemiring and
+ IsRingWithOne );
</pre></div>
<p><a id="X81DC249883163C01" name="X81DC249883163C01"></a></p>
@@ -194,13 +193,9 @@
<div class="example"><pre>
DeclareCategory( "IsHomalgRingElement",
- IsExtAElement and
- IsExtLElement and
- IsExtRElement and
+ IsHomalgSemiringElement and
IsAdditiveElementWithInverse and
IsMultiplicativeElementWithInverse and
- IsAssociativeElement and
- IsAdditivelyCommutativeElement and
## all the above guarantees IsHomalgRingElement => IsRingElement
(in GAP4)
IsAttributeStoringRep );
</pre></div>
Binary files old/MatricesForHomalg-2025.09-01/doc/manual.pdf and
new/MatricesForHomalg-2026.04-01/doc/manual.pdf differ
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/manual.six
new/MatricesForHomalg-2026.04-01/doc/manual.six
--- old/MatricesForHomalg-2025.09-01/doc/manual.six 2025-09-07
01:28:37.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/manual.six 2026-04-10
19:53:36.000000000 +0200
@@ -40,14 +40,14 @@
101X", "3.1", [ 3, 1, 0 ], 4, 7, "rings: category and representations",
"X8252B2F483D80E41" ],
[ "\033[1X\033[33X\033[0;-2YRings: Constructors\033[133X\033[101X", "3.2",
- [ 3, 2, 0 ], 71, 8, "rings: constructors", "X7C7962B97E6CDFE2" ],
+ [ 3, 2, 0 ], 66, 8, "rings: constructors", "X7C7962B97E6CDFE2" ],
[ "\033[1X\033[33X\033[0;-2YRings: Properties\033[133X\033[101X", "3.3",
- [ 3, 3, 0 ], 160, 9, "rings: properties", "X7D171A1C797E27C9" ],
+ [ 3, 3, 0 ], 155, 9, "rings: properties", "X7D171A1C797E27C9" ],
[ "\033[1X\033[33X\033[0;-2YRings: Attributes\033[133X\033[101X", "3.4",
- [ 3, 4, 0 ], 609, 17, "rings: attributes", "X867290E7847A5101" ],
+ [ 3, 4, 0 ], 604, 17, "rings: attributes", "X867290E7847A5101" ],
[
"\033[1X\033[33X\033[0;-2YRings: Operations and
Functions\033[133X\033[101X\
-", "3.5", [ 3, 5, 0 ], 828, 21, "rings: operations and functions",
+", "3.5", [ 3, 5, 0 ], 823, 21, "rings: operations and functions",
"X7DDAB86C7A7FEDA9" ],
[ "\033[1X\033[33X\033[0;-2YRing Maps\033[133X\033[101X", "4", [ 4, 0, 0 ],
1, 22, "ring maps", "X7B222197819984A6" ],
@@ -212,219 +212,219 @@
"matricesforhomalg", "X8537FEB07AF2BEC8" ],
[ "\033[2XIsHomalgRing\033[102X", "3.1-1", [ 3, 1, 1 ], 7, 7,
"ishomalgring", "X85E217C67DD633AB" ],
- [ "\033[2XIsPreHomalgRing\033[102X", "3.1-2", [ 3, 1, 2 ], 24, 7,
+ [ "\033[2XIsPreHomalgRing\033[102X", "3.1-2", [ 3, 1, 2 ], 23, 7,
"isprehomalgring", "X81DC249883163C01" ],
- [ "\033[2XIsHomalgRingElement\033[102X", "3.1-3", [ 3, 1, 3 ], 42, 7,
+ [ "\033[2XIsHomalgRingElement\033[102X", "3.1-3", [ 3, 1, 3 ], 41, 7,
"ishomalgringelement", "X80A410ED8500DA7E" ],
- [ "\033[2XIsHomalgInternalRingRep\033[102X", "3.1-4", [ 3, 1, 4 ], 62, 8,
+ [ "\033[2XIsHomalgInternalRingRep\033[102X", "3.1-4", [ 3, 1, 4 ], 57, 8,
"ishomalginternalringrep", "X8097E89E7B6EF731" ],
[ "\033[2XHomalgRingOfIntegers\033[102X constructor for the integers",
- "3.2-1", [ 3, 2, 1 ], 87, 8,
+ "3.2-1", [ 3, 2, 1 ], 82, 8,
"homalgringofintegers constructor for the integers",
"X78AC74CB802A8A49" ],
[
"\033[2XHomalgRingOfIntegers\033[102X constructor for the residue class
rin\
-gs of the integers", "3.2-1", [ 3, 2, 1 ], 87, 8,
+gs of the integers", "3.2-1", [ 3, 2, 1 ], 82, 8,
"homalgringofintegers constructor for the residue class rings of the int\
egers", "X78AC74CB802A8A49" ],
[ "\033[2X\\/\033[102X constructor for residue class rings", "3.2-2",
- [ 3, 2, 2 ], 118, 9, "/ constructor for residue class rings",
+ [ 3, 2, 2 ], 113, 9, "/ constructor for residue class rings",
"X85D9DDE384304BAB" ],
- [ "\033[2XIsZero\033[102X for rings", "3.3-1", [ 3, 3, 1 ], 188, 10,
+ [ "\033[2XIsZero\033[102X for rings", "3.3-1", [ 3, 3, 1 ], 183, 10,
"iszero for rings", "X7C48437187E668F3" ],
- [ "\033[2XIsNonZeroRing\033[102X for rings", "3.3-2", [ 3, 3, 2 ], 195, 10,
+ [ "\033[2XIsNonZeroRing\033[102X for rings", "3.3-2", [ 3, 3, 2 ], 190, 10,
"isnonzeroring for rings", "X7F80A53387A0C23D" ],
- [ "\033[2XContainsAField\033[102X", "3.3-3", [ 3, 3, 3 ], 203, 10,
+ [ "\033[2XContainsAField\033[102X", "3.3-3", [ 3, 3, 3 ], 198, 10,
"containsafield", "X84F3040687E68338" ],
- [ "\033[2XIsRationalsForHomalg\033[102X", "3.3-4", [ 3, 3, 4 ], 210, 10,
+ [ "\033[2XIsRationalsForHomalg\033[102X", "3.3-4", [ 3, 3, 4 ], 205, 10,
"isrationalsforhomalg", "X7C337D0F8413FE38" ],
- [ "\033[2XIsFieldForHomalg\033[102X", "3.3-5", [ 3, 3, 5 ], 217, 10,
+ [ "\033[2XIsFieldForHomalg\033[102X", "3.3-5", [ 3, 3, 5 ], 212, 10,
"isfieldforhomalg", "X86221E0E8416F1CF" ],
- [ "\033[2XIsDivisionRingForHomalg\033[102X", "3.3-6", [ 3, 3, 6 ], 224, 10,
+ [ "\033[2XIsDivisionRingForHomalg\033[102X", "3.3-6", [ 3, 3, 6 ], 219, 10,
"isdivisionringforhomalg", "X805112347CF99F02" ],
- [ "\033[2XIsIntegersForHomalg\033[102X", "3.3-7", [ 3, 3, 7 ], 231, 10,
+ [ "\033[2XIsIntegersForHomalg\033[102X", "3.3-7", [ 3, 3, 7 ], 226, 10,
"isintegersforhomalg", "X799A9A9F7A26C6B2" ],
[ "\033[2XIsResidueClassRingOfTheIntegers\033[102X", "3.3-8", [ 3, 3, 8 ],
- 238, 11, "isresidueclassringoftheintegers", "X8548FE4E8283ACC6" ],
- [ "\033[2XIsBezoutRing\033[102X", "3.3-9", [ 3, 3, 9 ], 245, 11,
+ 233, 10, "isresidueclassringoftheintegers", "X8548FE4E8283ACC6" ],
+ [ "\033[2XIsBezoutRing\033[102X", "3.3-9", [ 3, 3, 9 ], 240, 11,
"isbezoutring", "X7F9F59B5857F19A3" ],
- [ "\033[2XIsIntegrallyClosedDomain\033[102X", "3.3-10", [ 3, 3, 10 ], 252,
+ [ "\033[2XIsIntegrallyClosedDomain\033[102X", "3.3-10", [ 3, 3, 10 ], 247,
11, "isintegrallycloseddomain", "X79D8752F78215FC1" ],
[ "\033[2XIsUniqueFactorizationDomain\033[102X", "3.3-11", [ 3, 3, 11 ],
- 259, 11, "isuniquefactorizationdomain", "X864BF29E7B5D3305" ],
- [ "\033[2XIsKaplanskyHermite\033[102X", "3.3-12", [ 3, 3, 12 ], 266, 11,
+ 254, 11, "isuniquefactorizationdomain", "X864BF29E7B5D3305" ],
+ [ "\033[2XIsKaplanskyHermite\033[102X", "3.3-12", [ 3, 3, 12 ], 261, 11,
"iskaplanskyhermite", "X86EF914787EB5572" ],
- [ "\033[2XIsDedekindDomain\033[102X", "3.3-13", [ 3, 3, 13 ], 273, 11,
+ [ "\033[2XIsDedekindDomain\033[102X", "3.3-13", [ 3, 3, 13 ], 268, 11,
"isdedekinddomain", "X86C625EF7E417AA6" ],
- [ "\033[2XIsDiscreteValuationRing\033[102X", "3.3-14", [ 3, 3, 14 ], 280,
+ [ "\033[2XIsDiscreteValuationRing\033[102X", "3.3-14", [ 3, 3, 14 ], 275,
11, "isdiscretevaluationring", "X855E560A7F40B2BF" ],
- [ "\033[2XIsFreePolynomialRing\033[102X", "3.3-15", [ 3, 3, 15 ], 287, 11,
+ [ "\033[2XIsFreePolynomialRing\033[102X", "3.3-15", [ 3, 3, 15 ], 282, 11,
"isfreepolynomialring", "X80E0C8B28039B8F0" ],
- [ "\033[2XIsWeylRing\033[102X", "3.3-16", [ 3, 3, 16 ], 294, 12,
+ [ "\033[2XIsWeylRing\033[102X", "3.3-16", [ 3, 3, 16 ], 289, 11,
"isweylring", "X850A0EAB7E017D5E" ],
- [ "\033[2XIsLocalizedWeylRing\033[102X", "3.3-17", [ 3, 3, 17 ], 301, 12,
+ [ "\033[2XIsLocalizedWeylRing\033[102X", "3.3-17", [ 3, 3, 17 ], 296, 12,
"islocalizedweylring", "X7EFB456286B4F9DB" ],
- [ "\033[2XIsGlobalDimensionFinite\033[102X", "3.3-18", [ 3, 3, 18 ], 308,
+ [ "\033[2XIsGlobalDimensionFinite\033[102X", "3.3-18", [ 3, 3, 18 ], 303,
12, "isglobaldimensionfinite", "X86558C9F8474DA39" ],
[ "\033[2XIsLeftGlobalDimensionFinite\033[102X", "3.3-19", [ 3, 3, 19 ],
- 315, 12, "isleftglobaldimensionfinite", "X7AE1C7297A66F116" ],
+ 310, 12, "isleftglobaldimensionfinite", "X7AE1C7297A66F116" ],
[ "\033[2XIsRightGlobalDimensionFinite\033[102X", "3.3-20", [ 3, 3, 20 ],
- 322, 12, "isrightglobaldimensionfinite", "X799A94467B8EC416" ],
- [ "\033[2XHasInvariantBasisProperty\033[102X", "3.3-21", [ 3, 3, 21 ], 329,
+ 317, 12, "isrightglobaldimensionfinite", "X799A94467B8EC416" ],
+ [ "\033[2XHasInvariantBasisProperty\033[102X", "3.3-21", [ 3, 3, 21 ], 324,
12, "hasinvariantbasisproperty", "X81269E1881D45163" ],
- [ "\033[2XIsLocal\033[102X", "3.3-22", [ 3, 3, 22 ], 336, 12, "islocal",
+ [ "\033[2XIsLocal\033[102X", "3.3-22", [ 3, 3, 22 ], 331, 12, "islocal",
"X8758DFD57E83925D" ],
- [ "\033[2XIsSemiLocalRing\033[102X", "3.3-23", [ 3, 3, 23 ], 343, 12,
+ [ "\033[2XIsSemiLocalRing\033[102X", "3.3-23", [ 3, 3, 23 ], 338, 12,
"issemilocalring", "X7AAF0A3178E23B09" ],
- [ "\033[2XIsIntegralDomain\033[102X", "3.3-24", [ 3, 3, 24 ], 350, 13,
+ [ "\033[2XIsIntegralDomain\033[102X", "3.3-24", [ 3, 3, 24 ], 345, 12,
"isintegraldomain", "X7EE2F1C187131E19" ],
- [ "\033[2XIsHereditary\033[102X", "3.3-25", [ 3, 3, 25 ], 357, 13,
+ [ "\033[2XIsHereditary\033[102X", "3.3-25", [ 3, 3, 25 ], 352, 13,
"ishereditary", "X7FEB8A337CC92955" ],
- [ "\033[2XIsLeftHereditary\033[102X", "3.3-26", [ 3, 3, 26 ], 364, 13,
+ [ "\033[2XIsLeftHereditary\033[102X", "3.3-26", [ 3, 3, 26 ], 359, 13,
"islefthereditary", "X7D4AC0177C6D85A8" ],
- [ "\033[2XIsRightHereditary\033[102X", "3.3-27", [ 3, 3, 27 ], 371, 13,
+ [ "\033[2XIsRightHereditary\033[102X", "3.3-27", [ 3, 3, 27 ], 366, 13,
"isrighthereditary", "X7DE025D781FEBD04" ],
- [ "\033[2XIsHermite\033[102X", "3.3-28", [ 3, 3, 28 ], 378, 13,
+ [ "\033[2XIsHermite\033[102X", "3.3-28", [ 3, 3, 28 ], 373, 13,
"ishermite", "X783ACC147A7F82AA" ],
- [ "\033[2XIsLeftHermite\033[102X", "3.3-29", [ 3, 3, 29 ], 385, 13,
+ [ "\033[2XIsLeftHermite\033[102X", "3.3-29", [ 3, 3, 29 ], 380, 13,
"islefthermite", "X7A33BCFE7B6C6817" ],
- [ "\033[2XIsRightHermite\033[102X", "3.3-30", [ 3, 3, 30 ], 392, 13,
+ [ "\033[2XIsRightHermite\033[102X", "3.3-30", [ 3, 3, 30 ], 387, 13,
"isrighthermite", "X830989817DC97403" ],
- [ "\033[2XIsNoetherian\033[102X", "3.3-31", [ 3, 3, 31 ], 399, 13,
+ [ "\033[2XIsNoetherian\033[102X", "3.3-31", [ 3, 3, 31 ], 394, 13,
"isnoetherian", "X7AA2911E802BE73D" ],
- [ "\033[2XIsLeftNoetherian\033[102X", "3.3-32", [ 3, 3, 32 ], 406, 14,
+ [ "\033[2XIsLeftNoetherian\033[102X", "3.3-32", [ 3, 3, 32 ], 401, 13,
"isleftnoetherian", "X7803DB3A7E6689B6" ],
- [ "\033[2XIsRightNoetherian\033[102X", "3.3-33", [ 3, 3, 33 ], 413, 14,
+ [ "\033[2XIsRightNoetherian\033[102X", "3.3-33", [ 3, 3, 33 ], 408, 14,
"isrightnoetherian", "X78A93EFA7B677CED" ],
- [ "\033[2XIsCohenMacaulay\033[102X", "3.3-34", [ 3, 3, 34 ], 420, 14,
+ [ "\033[2XIsCohenMacaulay\033[102X", "3.3-34", [ 3, 3, 34 ], 415, 14,
"iscohenmacaulay", "X8373421F7E085763" ],
- [ "\033[2XIsGorenstein\033[102X", "3.3-35", [ 3, 3, 35 ], 427, 14,
+ [ "\033[2XIsGorenstein\033[102X", "3.3-35", [ 3, 3, 35 ], 422, 14,
"isgorenstein", "X83CBA38E81DC4A72" ],
- [ "\033[2XIsKoszul\033[102X", "3.3-36", [ 3, 3, 36 ], 434, 14, "iskoszul",
+ [ "\033[2XIsKoszul\033[102X", "3.3-36", [ 3, 3, 36 ], 429, 14, "iskoszul",
"X7E7AEFBE7801F196" ],
- [ "\033[2XIsArtinian\033[102X for rings", "3.3-37", [ 3, 3, 37 ], 441, 14,
+ [ "\033[2XIsArtinian\033[102X for rings", "3.3-37", [ 3, 3, 37 ], 436, 14,
"isartinian for rings", "X7AF81F6383F5CFCA" ],
- [ "\033[2XIsLeftArtinian\033[102X", "3.3-38", [ 3, 3, 38 ], 448, 14,
+ [ "\033[2XIsLeftArtinian\033[102X", "3.3-38", [ 3, 3, 38 ], 443, 14,
"isleftartinian", "X7E000F5780A17602" ],
- [ "\033[2XIsRightArtinian\033[102X", "3.3-39", [ 3, 3, 39 ], 455, 14,
+ [ "\033[2XIsRightArtinian\033[102X", "3.3-39", [ 3, 3, 39 ], 450, 14,
"isrightartinian", "X7C34A319827FFDDB" ],
- [ "\033[2XIsOreDomain\033[102X", "3.3-40", [ 3, 3, 40 ], 462, 15,
+ [ "\033[2XIsOreDomain\033[102X", "3.3-40", [ 3, 3, 40 ], 457, 14,
"isoredomain", "X8290570679F86CE8" ],
- [ "\033[2XIsLeftOreDomain\033[102X", "3.3-41", [ 3, 3, 41 ], 469, 15,
+ [ "\033[2XIsLeftOreDomain\033[102X", "3.3-41", [ 3, 3, 41 ], 464, 15,
"isleftoredomain", "X8528CA397BC76826" ],
- [ "\033[2XIsRightOreDomain\033[102X", "3.3-42", [ 3, 3, 42 ], 476, 15,
+ [ "\033[2XIsRightOreDomain\033[102X", "3.3-42", [ 3, 3, 42 ], 471, 15,
"isrightoredomain", "X7FC7E8317BF9B9CE" ],
- [ "\033[2XIsPrincipalIdealRing\033[102X", "3.3-43", [ 3, 3, 43 ], 483, 15,
+ [ "\033[2XIsPrincipalIdealRing\033[102X", "3.3-43", [ 3, 3, 43 ], 478, 15,
"isprincipalidealring", "X85F1485F840E2354" ],
- [ "\033[2XIsLeftPrincipalIdealRing\033[102X", "3.3-44", [ 3, 3, 44 ], 490,
+ [ "\033[2XIsLeftPrincipalIdealRing\033[102X", "3.3-44", [ 3, 3, 44 ], 485,
15, "isleftprincipalidealring", "X7BF4EFB67DCEBF6D" ],
- [ "\033[2XIsRightPrincipalIdealRing\033[102X", "3.3-45", [ 3, 3, 45 ], 497,
+ [ "\033[2XIsRightPrincipalIdealRing\033[102X", "3.3-45", [ 3, 3, 45 ], 492,
15, "isrightprincipalidealring", "X83858198873F7760" ],
- [ "\033[2XIsRegular\033[102X", "3.3-46", [ 3, 3, 46 ], 504, 15,
+ [ "\033[2XIsRegular\033[102X", "3.3-46", [ 3, 3, 46 ], 499, 15,
"isregular", "X7CF02C4785F0EAB5" ],
[ "\033[2XIsFiniteFreePresentationRing\033[102X", "3.3-47", [ 3, 3, 47 ],
- 511, 15, "isfinitefreepresentationring", "X7FB92D467B9B6707" ],
+ 506, 15, "isfinitefreepresentationring", "X7FB92D467B9B6707" ],
[ "\033[2XIsLeftFiniteFreePresentationRing\033[102X", "3.3-48",
- [ 3, 3, 48 ], 518, 16, "isleftfinitefreepresentationring",
+ [ 3, 3, 48 ], 513, 15, "isleftfinitefreepresentationring",
"X7B0EE3BF8402793B" ],
[ "\033[2XIsRightFiniteFreePresentationRing\033[102X", "3.3-49",
- [ 3, 3, 49 ], 525, 16, "isrightfinitefreepresentationring",
+ [ 3, 3, 49 ], 520, 16, "isrightfinitefreepresentationring",
"X839A82AC7D0D7BA1" ],
- [ "\033[2XIsSimpleRing\033[102X", "3.3-50", [ 3, 3, 50 ], 532, 16,
+ [ "\033[2XIsSimpleRing\033[102X", "3.3-50", [ 3, 3, 50 ], 527, 16,
"issimplering", "X8491CBBE862D4FFB" ],
- [ "\033[2XIsSemiSimpleRing\033[102X", "3.3-51", [ 3, 3, 51 ], 539, 16,
+ [ "\033[2XIsSemiSimpleRing\033[102X", "3.3-51", [ 3, 3, 51 ], 534, 16,
"issemisimplering", "X847DEBCF872F5175" ],
- [ "\033[2XIsSuperCommutative\033[102X", "3.3-52", [ 3, 3, 52 ], 546, 16,
+ [ "\033[2XIsSuperCommutative\033[102X", "3.3-52", [ 3, 3, 52 ], 541, 16,
"issupercommutative", "X842C9ABA807DB431" ],
[ "\033[2XBasisAlgorithmRespectsPrincipalIdeals\033[102X", "3.3-53",
- [ 3, 3, 53 ], 553, 16, "basisalgorithmrespectsprincipalideals",
+ [ 3, 3, 53 ], 548, 16, "basisalgorithmrespectsprincipalideals",
"X803259617B5F89AE" ],
- [ "\033[2XAreUnitsCentral\033[102X", "3.3-54", [ 3, 3, 54 ], 560, 16,
+ [ "\033[2XAreUnitsCentral\033[102X", "3.3-54", [ 3, 3, 54 ], 555, 16,
"areunitscentral", "X781617F678CC0BA8" ],
- [ "\033[2XIsMinusOne\033[102X", "3.3-55", [ 3, 3, 55 ], 567, 16,
+ [ "\033[2XIsMinusOne\033[102X", "3.3-55", [ 3, 3, 55 ], 562, 16,
"isminusone", "X85B6710082984863" ],
[ "\033[2XIsMonic\033[102X for homalg ring elements", "3.3-56",
- [ 3, 3, 56 ], 574, 17, "ismonic for homalg ring elements",
+ [ 3, 3, 56 ], 569, 16, "ismonic for homalg ring elements",
"X7A0A3A927BE3F352" ],
[ "\033[2XIsMonicUptoUnit\033[102X for homalg ring elements", "3.3-57",
- [ 3, 3, 57 ], 581, 17, "ismonicuptounit for homalg ring elements",
+ [ 3, 3, 57 ], 576, 17, "ismonicuptounit for homalg ring elements",
"X785EF83B8054D2FF" ],
[ "\033[2XIsLeftRegular\033[102X for homalg ring elements", "3.3-58",
- [ 3, 3, 58 ], 588, 17, "isleftregular for homalg ring elements",
+ [ 3, 3, 58 ], 583, 17, "isleftregular for homalg ring elements",
"X811A01D5803ADCA3" ],
[ "\033[2XIsRightRegular\033[102X for homalg ring elements", "3.3-59",
- [ 3, 3, 59 ], 595, 17, "isrightregular for homalg ring elements",
+ [ 3, 3, 59 ], 590, 17, "isrightregular for homalg ring elements",
"X7E99731F83A41777" ],
[ "\033[2XIsRegular\033[102X for homalg ring elements", "3.3-60",
- [ 3, 3, 60 ], 602, 17, "isregular for homalg ring elements",
+ [ 3, 3, 60 ], 597, 17, "isregular for homalg ring elements",
"X80A3294C834D8F21" ],
[ "\033[2XInverse\033[102X for homalg ring elements", "3.4-1", [ 3, 4, 1 ],
- 612, 17, "inverse for homalg ring elements", "X8066502785A109B8" ],
- [ "\033[2XhomalgTable\033[102X", "3.4-2", [ 3, 4, 2 ], 633, 18,
+ 607, 17, "inverse for homalg ring elements", "X8066502785A109B8" ],
+ [ "\033[2XhomalgTable\033[102X", "3.4-2", [ 3, 4, 2 ], 628, 17,
"homalgtable", "X7AFD26D480AA9323" ],
- [ "\033[2XRingElementConstructor\033[102X", "3.4-3", [ 3, 4, 3 ], 643, 18,
+ [ "\033[2XRingElementConstructor\033[102X", "3.4-3", [ 3, 4, 3 ], 638, 18,
"ringelementconstructor", "X816D807781E8F854" ],
- [ "\033[2XTypeOfHomalgMatrix\033[102X", "3.4-4", [ 3, 4, 4 ], 650, 18,
+ [ "\033[2XTypeOfHomalgMatrix\033[102X", "3.4-4", [ 3, 4, 4 ], 645, 18,
"typeofhomalgmatrix", "X7E5426C67AA9A6E5" ],
[ "\033[2XConstructorForHomalgMatrices\033[102X", "3.4-5", [ 3, 4, 5 ],
- 657, 18, "constructorforhomalgmatrices", "X80504BE983BD1A70" ],
- [ "\033[2XZero\033[102X for homalg rings", "3.4-6", [ 3, 4, 6 ], 664, 18,
+ 652, 18, "constructorforhomalgmatrices", "X80504BE983BD1A70" ],
+ [ "\033[2XZero\033[102X for homalg rings", "3.4-6", [ 3, 4, 6 ], 659, 18,
"zero for homalg rings", "X799B5F797F809EE5" ],
- [ "\033[2XOne\033[102X for homalg rings", "3.4-7", [ 3, 4, 7 ], 671, 18,
+ [ "\033[2XOne\033[102X for homalg rings", "3.4-7", [ 3, 4, 7 ], 666, 18,
"one for homalg rings", "X84701329860750C3" ],
- [ "\033[2XMinusOne\033[102X", "3.4-8", [ 3, 4, 8 ], 678, 18, "minusone",
+ [ "\033[2XMinusOne\033[102X", "3.4-8", [ 3, 4, 8 ], 673, 18, "minusone",
"X810D03AA827BD128" ],
- [ "\033[2XProductOfIndeterminates\033[102X", "3.4-9", [ 3, 4, 9 ], 685, 18,
+ [ "\033[2XProductOfIndeterminates\033[102X", "3.4-9", [ 3, 4, 9 ], 680, 18,
"productofindeterminates", "X7CC4312578DC42B6" ],
- [ "\033[2XRationalParameters\033[102X", "3.4-10", [ 3, 4, 10 ], 692, 19,
+ [ "\033[2XRationalParameters\033[102X", "3.4-10", [ 3, 4, 10 ], 687, 19,
"rationalparameters", "X7DF4F71C86835DCF" ],
[ "\033[2XIndeterminatesOfPolynomialRing\033[102X", "3.4-11", [ 3, 4, 11 ],
- 699, 19, "indeterminatesofpolynomialring", "X80D585E1793D4552" ],
+ 694, 19, "indeterminatesofpolynomialring", "X80D585E1793D4552" ],
[ "\033[2XRelativeIndeterminatesOfPolynomialRing\033[102X", "3.4-12",
- [ 3, 4, 12 ], 706, 19, "relativeindeterminatesofpolynomialring",
+ [ 3, 4, 12 ], 701, 19, "relativeindeterminatesofpolynomialring",
"X84CE78E379A34C56" ],
[ "\033[2XIndeterminateCoordinatesOfRingOfDerivations\033[102X", "3.4-13",
- [ 3, 4, 13 ], 713, 19, "indeterminatecoordinatesofringofderivations",
+ [ 3, 4, 13 ], 708, 19, "indeterminatecoordinatesofringofderivations",
"X7F4A050A87C042E5" ],
[ "\033[2XRelativeIndeterminateCoordinatesOfRingOfDerivations\033[102X",
- "3.4-14", [ 3, 4, 14 ], 720, 19,
+ "3.4-14", [ 3, 4, 14 ], 715, 19,
"relativeindeterminatecoordinatesofringofderivations",
"X821FCC287E4FB92F" ],
[ "\033[2XIndeterminateDerivationsOfRingOfDerivations\033[102X", "3.4-15",
- [ 3, 4, 15 ], 727, 19, "indeterminatederivationsofringofderivations",
+ [ 3, 4, 15 ], 722, 19, "indeterminatederivationsofringofderivations",
"X78776EBA7DC179B4" ],
[ "\033[2XRelativeIndeterminateDerivationsOfRingOfDerivations\033[102X",
- "3.4-16", [ 3, 4, 16 ], 734, 19,
+ "3.4-16", [ 3, 4, 16 ], 729, 19,
"relativeindeterminatederivationsofringofderivations",
"X8522A7987C6483ED" ],
[ "\033[2XIndeterminateAntiCommutingVariablesOfExteriorRing\033[102X",
- "3.4-17", [ 3, 4, 17 ], 741, 19,
+ "3.4-17", [ 3, 4, 17 ], 736, 19,
"indeterminateanticommutingvariablesofexteriorring",
"X7C15E6647945C0E3" ],
[
"\033[2XRelativeIndeterminateAntiCommutingVariablesOfExteriorRing\033[102X"
- , "3.4-18", [ 3, 4, 18 ], 748, 20,
+ , "3.4-18", [ 3, 4, 18 ], 743, 20,
"relativeindeterminateanticommutingvariablesofexteriorring",
"X7C63673A80911044" ],
[ "\033[2XIndeterminatesOfExteriorRing\033[102X", "3.4-19", [ 3, 4, 19 ],
- 756, 20, "indeterminatesofexteriorring", "X7BBEF7097B459D33" ],
- [ "\033[2XCoefficientsRing\033[102X", "3.4-20", [ 3, 4, 20 ], 764, 20,
+ 751, 20, "indeterminatesofexteriorring", "X7BBEF7097B459D33" ],
+ [ "\033[2XCoefficientsRing\033[102X", "3.4-20", [ 3, 4, 20 ], 759, 20,
"coefficientsring", "X8235D10781BE8003" ],
- [ "\033[2XKrullDimension\033[102X", "3.4-21", [ 3, 4, 21 ], 771, 20,
+ [ "\033[2XKrullDimension\033[102X", "3.4-21", [ 3, 4, 21 ], 766, 20,
"krulldimension", "X789CF8B778A0C58D" ],
- [ "\033[2XLeftGlobalDimension\033[102X", "3.4-22", [ 3, 4, 22 ], 778, 20,
+ [ "\033[2XLeftGlobalDimension\033[102X", "3.4-22", [ 3, 4, 22 ], 773, 20,
"leftglobaldimension", "X8735C56B7BEBC86E" ],
- [ "\033[2XRightGlobalDimension\033[102X", "3.4-23", [ 3, 4, 23 ], 785, 20,
+ [ "\033[2XRightGlobalDimension\033[102X", "3.4-23", [ 3, 4, 23 ], 780, 20,
"rightglobaldimension", "X7E6C5B5781EF78C5" ],
- [ "\033[2XGlobalDimension\033[102X", "3.4-24", [ 3, 4, 24 ], 792, 20,
+ [ "\033[2XGlobalDimension\033[102X", "3.4-24", [ 3, 4, 24 ], 787, 20,
"globaldimension", "X7D511B3E7A50AB2A" ],
- [ "\033[2XGeneralLinearRank\033[102X", "3.4-25", [ 3, 4, 25 ], 800, 20,
+ [ "\033[2XGeneralLinearRank\033[102X", "3.4-25", [ 3, 4, 25 ], 795, 20,
"generallinearrank", "X792D56C278E346B1" ],
- [ "\033[2XElementaryRank\033[102X", "3.4-26", [ 3, 4, 26 ], 807, 21,
+ [ "\033[2XElementaryRank\033[102X", "3.4-26", [ 3, 4, 26 ], 802, 21,
"elementaryrank", "X79BCB23D873268CB" ],
- [ "\033[2XStableRank\033[102X", "3.4-27", [ 3, 4, 27 ], 814, 21,
+ [ "\033[2XStableRank\033[102X", "3.4-27", [ 3, 4, 27 ], 809, 21,
"stablerank", "X822907CB7919EEF2" ],
- [ "\033[2XAssociatedGradedRing\033[102X", "3.4-28", [ 3, 4, 28 ], 821, 21,
+ [ "\033[2XAssociatedGradedRing\033[102X", "3.4-28", [ 3, 4, 28 ], 816, 21,
"associatedgradedring", "X826BE1E87EE023B2" ],
[ "\033[2XIsHomalgRingMap\033[102X", "4.1-1", [ 4, 1, 1 ], 13, 22,
"ishomalgringmap", "X7E084D947E3AEFE6" ],
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/doc/title.xml
new/MatricesForHomalg-2026.04-01/doc/title.xml
--- old/MatricesForHomalg-2025.09-01/doc/title.xml 2025-09-07
01:28:33.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/doc/title.xml 2026-04-10
19:53:32.000000000 +0200
@@ -9,10 +9,10 @@
Matrices for the homalg project
</Subtitle>
<Version>
- 2025.09-01
+ 2026.04-01
</Version>
<Author>
- Mohamed Barakat<Alt Only="LaTeX"><Br/></Alt>
+ Mohamed Barakat
<Address>
Walter-Flex-Str. 3<Br/>
57072 Siegen<Br/>
@@ -20,10 +20,9 @@
</Address>
<Email>[email protected]</Email>
<Homepage>https://mohamed-barakat.github.io</Homepage>
-
</Author>
<Author>
- Markus Lange-Hegermann<Alt Only="LaTeX"><Br/></Alt>
+ Markus Lange-Hegermann
<Address>
Markus Lange-Hegermann<Br/>
Hochschule Ostwestfalen-Lippe<Br/>
@@ -33,10 +32,9 @@
</Address>
<Email>[email protected]</Email>
<Homepage>https://www.th-owl.de/eecs/fachbereich/team/markus-lange-hegermann/</Homepage>
-
</Author>
<Author>
- Martin Leuner<Alt Only="LaTeX"><Br/></Alt>
+ Martin Leuner
<Address>
Martin Leuner<Br/>
Lehrstuhl B fuer Mathematik, RWTH Aachen<Br/>
@@ -46,10 +44,9 @@
</Address>
<Email>[email protected]</Email>
<Homepage>http://wwwb.math.rwth-aachen.de/Mitarbeiter/leuner.php</Homepage>
-
</Author>
<Author>
- Vinay Wagh<Alt Only="LaTeX"><Br/></Alt>
+ Vinay Wagh
<Address>
E-102, Department of Mathematics,<Br/>
Indian Institute of Technology Guwahati,<Br/>
@@ -59,9 +56,8 @@
</Address>
<Email>[email protected]</Email>
<Homepage>http://www.iitg.ernet.in/vinay.wagh/</Homepage>
-
</Author>
<Date>
- 7 September 2025
+ 10 April 2026
</Date>
</TitlePage>
\ No newline at end of file
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/gap/HomalgRing.gd
new/MatricesForHomalg-2026.04-01/gap/HomalgRing.gd
--- old/MatricesForHomalg-2025.09-01/gap/HomalgRing.gd 2025-09-07
01:09:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/gap/HomalgRing.gd 2026-04-10
18:29:31.000000000 +0200
@@ -15,6 +15,24 @@
# three new GAP-categories:
+## <#GAPDoc Label="IsHomalgSemiring">
+## <ManSection>
+## <Filt Type="Category" Arg="R" Name="IsHomalgSemiring"/>
+## <Returns><C>true</C> or <C>false</C></Returns>
+## <Description>
+## The &GAP; category of &homalg; semirings. <P/>
+## (It is a subcategory of the &GAP; categories <C>IsStructureObject</C>
+## and <C>IsHomalgSemiringOrModule</C>.)
+## <Listing Type="Code"><![CDATA[
+DeclareCategory( "IsHomalgSemiring",
+ IsStructureObject and
+ IsSemiringWithOneAndZero and
+ IsHomalgSemiringOrModule );
+## ]]></Listing>
+## </Description>
+## </ManSection>
+## <#/GAPDoc>
+
## <#GAPDoc Label="IsHomalgRing">
## <ManSection>
## <Filt Type="Category" Arg="R" Name="IsHomalgRing"/>
@@ -22,12 +40,11 @@
## <Description>
## The &GAP; category of &homalg; rings. <P/>
## (It is a subcategory of the &GAP; categories <C>IsStructureObject</C>
-## and <C>IsHomalgRingOrModule</C>.)
+## and <C>IsHomalgSemiringOrModule</C>.)
## <Listing Type="Code"><![CDATA[
DeclareCategory( "IsHomalgRing",
- IsStructureObject and
- IsRingWithOne and
- IsHomalgRingOrModule );
+ IsHomalgSemiring and
+ IsRingWithOne );
## ]]></Listing>
## </Description>
## </ManSection>
@@ -52,6 +69,21 @@
## </ManSection>
## <#/GAPDoc>
+## <#GAPDoc Label="IsHomalgSemiringElement">
+## <ManSection>
+## <Filt Type="Category" Arg="r" Name="IsHomalgSemiringElement"/>
+## <Returns><C>true</C> or <C>false</C></Returns>
+## <Description>
+## The &GAP; category of elements of &homalg; semirings which are not
GAP4 built-in.
+## <Listing Type="Code"><![CDATA[
+DeclareCategory( "IsHomalgSemiringElement",
+ IsSemiringElementWithOneAndZero and
+ IsAttributeStoringRep );
+## ]]></Listing>
+## </Description>
+## </ManSection>
+## <#/GAPDoc>
+
## <#GAPDoc Label="IsHomalgRingElement">
## <ManSection>
## <Filt Type="Category" Arg="r" Name="IsHomalgRingElement"/>
@@ -60,13 +92,9 @@
## The &GAP; category of elements of &homalg; rings which are not GAP4
built-in.
## <Listing Type="Code"><![CDATA[
DeclareCategory( "IsHomalgRingElement",
- IsExtAElement and
- IsExtLElement and
- IsExtRElement and
+ IsHomalgSemiringElement and
IsAdditiveElementWithInverse and
IsMultiplicativeElementWithInverse and
- IsAssociativeElement and
- IsAdditivelyCommutativeElement and
## all the above guarantees IsHomalgRingElement => IsRingElement (in
GAP4)
IsAttributeStoringRep );
## ]]></Listing>
@@ -1731,6 +1759,8 @@
DeclareGlobalFunction( "CreateHomalgRing" );
+DeclareGlobalFunction( "HomalgSemiringOfNaturalNumbers" );
+
DeclareGlobalFunction( "HomalgRingOfIntegers" );
DeclareOperation( "HomalgRingOfIntegersInUnderlyingCAS",
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/gap/HomalgRing.gi
new/MatricesForHomalg-2026.04-01/gap/HomalgRing.gi
--- old/MatricesForHomalg-2025.09-01/gap/HomalgRing.gi 2025-09-07
01:09:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/gap/HomalgRing.gi 2026-04-10
18:29:31.000000000 +0200
@@ -22,7 +22,7 @@
## <#/GAPDoc>
##
DeclareRepresentation( "IsHomalgInternalRingRep",
- IsHomalgRing and IsHomalgRingOrFinitelyPresentedModuleRep,
+ IsHomalgRing and IsHomalgSemiringOrFinitelyPresentedModuleRep,
[ "ring", "homalgTable" ] );
##
@@ -2227,6 +2227,36 @@
end );
+DeclareFilter( "IsHomalgSemiringOfNaturalNumbers" );
+
+## <#GAPDoc Label="HomalgSemiringOfNaturalNumbers">
+## <ManSection>
+## <Func Arg="" Name="HomalgSemiringOfNaturalNumbers" Label="constructor
for the integers"/>
+## <Returns>a &homalg; ring</Returns>
+## <Func Arg="c" Name="HomalgSemiringOfNaturalNumbers" Label="constructor
for the residue class rings of the integers"/>
+## <Returns>a &homalg; ring</Returns>
+## <Description>
+## Returns the semiring of natural numbers <M>&NN;</M> for &homalg;.
+## </Description>
+## </ManSection>
+## <#/GAPDoc>
+##
+InstallGlobalFunction( HomalgSemiringOfNaturalNumbers,
+ function( arg )
+ local R;
+
+ R := CreateHomalgRing( Integers );
+ homalgTable( R )!.RingName := R -> "N";
+ SetFilterObj( R, IsHomalgSemiringOfNaturalNumbers );
+ SetSemiringFilter( R, IsHomalgSemiring );
+ SetSemiringElementFilter( R, IsInt );
+
+ SetIsCommutative( R, true );
+
+ return R;
+
+end );
+
## <#GAPDoc Label="HomalgRingOfIntegers">
## <ManSection>
## <Func Arg="" Name="HomalgRingOfIntegers" Label="constructor for the
integers"/>
@@ -2260,8 +2290,8 @@
if nargs = 0 or arg[1] = 0 then
c := 0;
R := CreateHomalgRing( Integers );
- SetRingFilter( R, IsHomalgRing );
- SetRingElementFilter( R, IsInt );
+ SetSemiringFilter( R, IsHomalgRing );
+ SetSemiringElementFilter( R, IsInt );
elif IsInt( arg[1] ) then
c := arg[1];
if Length( Collected( FactorsInt( c ) ) ) = 1 and
IsPackageMarkedForLoading( "GaussForHomalg", ">= 2018.09.20") then
@@ -2292,6 +2322,17 @@
##
InstallOtherMethod( \in,
+ "for an object and a homalg internal ring",
+ [ IsObject, IsHomalgSemiringOfNaturalNumbers ], 10000001,
+
+ function( r, R )
+
+ return IsInt( r ) and r >= 0;
+
+end );
+
+##
+InstallOtherMethod( \in,
"for an object and a homalg internal ring",
[ IsObject, IsHomalgInternalRingRep ], 100001,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/gap/Julia.gi
new/MatricesForHomalg-2026.04-01/gap/Julia.gi
--- old/MatricesForHomalg-2025.09-01/gap/Julia.gi 2025-09-07
01:09:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/gap/Julia.gi 2026-04-10
18:29:31.000000000 +0200
@@ -31,6 +31,17 @@
end );
##
+InstallOtherMethod( DiagMat,
+ "for a list of homalg matrices",
+ [ IsJuliaObject ],
+
+ function( list )
+
+ return DiagMat( ConvertJuliaToGAP( list ) );
+
+end );
+
+##
InstallOtherMethod( CertainRows,
"for homalg matrices",
[ IsHomalgMatrix, IsJuliaObject ], 1001,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/gap/ResidueClassRing.gi
new/MatricesForHomalg-2026.04-01/gap/ResidueClassRing.gi
--- old/MatricesForHomalg-2025.09-01/gap/ResidueClassRing.gi 2025-09-07
01:09:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/gap/ResidueClassRing.gi 2026-04-10
18:29:31.000000000 +0200
@@ -17,13 +17,13 @@
## <Description>
## The representation of &homalg; residue class rings. <P/>
## (It is a subrepresentation of the &GAP; representation <Br/>
-## <C>IsHomalgRingOrFinitelyPresentedModuleRep</C>.)
+## <C>IsHomalgSemiringOrFinitelyPresentedModuleRep</C>.)
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareRepresentation( "IsHomalgResidueClassRingRep",
- IsHomalgRing and IsHomalgRingOrFinitelyPresentedModuleRep,
+ IsHomalgRing and IsHomalgSemiringOrFinitelyPresentedModuleRep,
[ "ring" ] );
## <#GAPDoc Label="IsHomalgResidueClassRingElementRep">
@@ -578,8 +578,8 @@
## create the residue class ring
S := CreateHomalgRing( R, [ TheTypeHomalgResidueClassRing,
TheTypeHomalgResidueClassMatrix ], HomalgResidueClassRingElement, RP );
- SetRingFilter( S, IsHomalgResidueClassRingRep );
- SetRingElementFilter( S, IsHomalgResidueClassRingElementRep );
+ SetSemiringFilter( S, IsHomalgResidueClassRingRep );
+ SetSemiringElementFilter( S, IsHomalgResidueClassRingElementRep );
## the constructor of matrices over residue class rings
SetConstructorForHomalgMatrices( S,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/MatricesForHomalg-2025.09-01/makedoc.g
new/MatricesForHomalg-2026.04-01/makedoc.g
--- old/MatricesForHomalg-2025.09-01/makedoc.g 2025-09-07 01:09:38.000000000
+0200
+++ new/MatricesForHomalg-2026.04-01/makedoc.g 2026-04-10 18:29:31.000000000
+0200
@@ -3,9 +3,9 @@
#
# This file is a script which compiles the package manual.
#
-if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
+if fail = LoadPackage( "AutoDoc", "2025.12.19" ) then
- Error( "AutoDoc version 2019.05.20 or newer is required." );
+ Error( "AutoDoc version 2025.12.19 or newer is required." );
fi;
@@ -20,7 +20,7 @@
),
),
scaffold := rec(
- entities := [ "homalg", "CAP" ],
+ entities := rec( homalg := "homalg", CAP := "CAP" ),
MainPage := false,
),
) );
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/MatricesForHomalg-2025.09-01/makedoc_with_overfull_hbox_warnings.g
new/MatricesForHomalg-2026.04-01/makedoc_with_overfull_hbox_warnings.g
--- old/MatricesForHomalg-2025.09-01/makedoc_with_overfull_hbox_warnings.g
2025-09-07 01:09:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/makedoc_with_overfull_hbox_warnings.g
2026-04-10 18:29:31.000000000 +0200
@@ -3,9 +3,9 @@
#
# This file is a script which compiles the package manual and prints overfull
hbox warnings.
#
-if fail = LoadPackage( "AutoDoc", "2019.05.20" ) then
+if fail = LoadPackage( "AutoDoc", "2025.12.19" ) then
- Error( "AutoDoc version 2019.05.20 or newer is required." );
+ Error( "AutoDoc version 2025.12.19 or newer is required." );
fi;
@@ -31,7 +31,7 @@
),
),
scaffold := rec(
- entities := [ "homalg", "CAP" ],
+ entities := rec( homalg := "homalg", CAP := "CAP" ),
MainPage := false,
),
) );
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
old/MatricesForHomalg-2025.09-01/tst/matricesforhomalg02.tst
new/MatricesForHomalg-2026.04-01/tst/matricesforhomalg02.tst
--- old/MatricesForHomalg-2025.09-01/tst/matricesforhomalg02.tst
2025-09-07 01:28:38.000000000 +0200
+++ new/MatricesForHomalg-2026.04-01/tst/matricesforhomalg02.tst
2026-04-10 19:53:37.000000000 +0200
@@ -10,7 +10,7 @@
#
gap> START_TEST("matricesforhomalg02.tst");
-# doc/../gap/HomalgRing.gd:995-1007
+# doc/../gap/HomalgRing.gd:1023-1035
gap> zz := HomalgRingOfIntegers( );;
gap> R := zz / 2^8;
Z/( 256 )
++++++ _scmsync.obsinfo ++++++
--- /var/tmp/diff_new_pack.SQbUSF/_old 2026-06-15 19:55:02.764609921 +0200
+++ /var/tmp/diff_new_pack.SQbUSF/_new 2026-06-15 19:55:02.772610257 +0200
@@ -1,5 +1,5 @@
-mtime: 1760206064
-commit: 77b352fd644a40b4d514f70af98c3a654297ebb9ba9746c8fcbb0641029499c5
+mtime: 1781539406
+commit: 8943c663f865e0da85ce8d0edb803470e74ca229663aa6ba9266a1a36fc517c2
url: https://src.opensuse.org/jengelh/gap-matricesforhomalg
revision: master
++++++ build.specials.obscpio ++++++
++++++ build.specials.obscpio ++++++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/.gitignore new/.gitignore
--- old/.gitignore 1970-01-01 01:00:00.000000000 +0100
+++ new/.gitignore 2026-06-15 18:03:26.000000000 +0200
@@ -0,0 +1 @@
+.osc
