improved/fixed CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianC…

…ategory resolves #1473
homalg-project · Jan 2, 2025 · e982e45 · e982e45
1 parent 91ebb51
commit e982e45
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2025.01-01",
+Version := "2025.01-02",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/CAP/gap/ConstructiveCategoriesRecord.gi b/CAP/gap/ConstructiveCategoriesRecord.gi
@@ -127,6 +127,7 @@ CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsAbelianCategory := Concatenation(
     [
         "LiftAlongMonomorphism",
         "ColiftAlongEpimorphism",
+        "InverseOfMorphismFromCoimageToImage",
     ]
 );
-Original file line number
+Diff line change
@@ Expand Up @@
         [
             "LiftAlongMonomorphism",
             "ColiftAlongEpimorphism",
+            "InverseOfMorphismFromCoimageToImage",
         ]
     );
@@ Expand Down @@