Merge pull request #1365 from mohamed-barakat/devel

added implication IsLinearCategoryOverCommutativeRing => IsAbCategory
homalg-project · Jun 29, 2023 · 0912582 · 0912582
2 parents 62cee38 + fbeb61a
commit 0912582
Show file tree

Hide file tree

Showing 2 changed files with 3 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 := "2023.06-08",
+Version := "2023.06-09",
 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/CAP.gi b/CAP/gap/CAP.gi
@@ -27,6 +27,8 @@ BindGlobal( "TheFamilyOfCapCategoryTwoCells",
 
 InstallTrueMethod( IsEnrichedOverCommutativeRegularSemigroup, IsAbCategory );
 
+InstallTrueMethod( IsAbCategory, IsLinearCategoryOverCommutativeRing );
+
 InstallTrueMethod( IsAbCategory, IsAdditiveCategory );
 
 InstallTrueMethod( IsAdditiveCategory, IsPreAbelianCategory );