Merge pull request #1671 from zickgraf/AdelmanCategory

Compute IsProjective if it is cheap to do so in AdelmanCategory
homalg-project · Sep 11, 2024 · 8cd8299 · 8cd8299
2 parents be1c838 + 9250655
commit 8cd8299
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/FreydCategoriesForCAP/PackageInfo.g b/FreydCategoriesForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2024.09-04",
+Version := "2024.09-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/FreydCategoriesForCAP/gap/AdelmanCategory.gi b/FreydCategoriesForCAP/gap/AdelmanCategory.gi
@@ -793,7 +793,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADELMAN_CATEGORY,
 
         if HasIsAbelianCategory( range_category ) and
            IsAbelianCategory( range_category ) and
-           HasIsProjective( underlying_distinguished_object ) and
+           (HasIsProjective( underlying_distinguished_object ) or CurrentOperationWeight( range_category!.derivations_weight_list, "IsProjective" ) <= 50) and
            IsProjective( underlying_distinguished_object ) then
 
             SetRangeCategoryOfHomomorphismStructure( category, range_category );