Merge pull request #1486 from zickgraf/master

Add IsAbelianCategory as a requirement to a derivation of IsDominating
homalg-project · Oct 6, 2023 · 086303d · 086303d
2 parents cbc272b + f390b2f
commit 086303d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.10-04",
+Version := "2023.10-05",
 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/DerivedMethods.autogen.gi b/CAP/gap/DerivedMethods.autogen.gi
@@ -562,7 +562,7 @@ AddDerivationToCAP( IsCodominating,
 
   function ( cat_1, arg2_1, arg3_1 )
     return IsDominating( cat_1, KernelEmbedding( cat_1, arg3_1 ), KernelEmbedding( cat_1, arg2_1 ) );
-end : CategoryFilter := IsCapCategory,
+end : CategoryFilter := IsAbelianCategory,
       Weight := 1,
       is_autogenerated_by_CompilerForCAP := true );
 

diff --git a/CAP/gap/DerivedMethods.gi b/CAP/gap/DerivedMethods.gi
@@ -897,7 +897,7 @@ AddDerivationToCAP( IsDominating,
 
     return IsCodominating( cat, cokernel_projection_2, cokernel_projection_1 );
 
-end );
+end : CategoryFilter := IsAbelianCategory );
 
 ##
 AddDerivationToCAP( IsDominating,