Merge pull request #1457 from mohamed-barakat/ExtendRangeOfHomomorphi…

…smStructureByIdentityAsFullEmbedding
homalg-project · Sep 12, 2023 · ae71c5b · ae71c5b
2 parents 1759acf + 5de4d90
commit ae71c5b
Show file tree

Hide file tree

Showing 2 changed files with 8 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.09-01",
+Version := "2023.09-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/CategoryMorphisms.gi b/CAP/gap/CategoryMorphisms.gi
@@ -836,6 +836,11 @@ InstallMethod( ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding,
   function ( C )
     local object_function, morphism_function, object_function_inverse, morphism_function_inverse;
 
+    if IsBound( C!.range_category_of_hom_structure_already_extended_by_identity ) then
+        ## the range of the hom-structure has already been extended by identity
+        return;
+    fi;
+
     object_function := function ( category, range_category, object )
         #% CAP_JIT_RESOLVE_FUNCTION
 
@@ -866,6 +871,8 @@ InstallMethod( ExtendRangeOfHomomorphismStructureByIdentityAsFullEmbedding,
 
     ExtendRangeOfHomomorphismStructureByFullEmbedding( C, RangeCategoryOfHomomorphismStructure( C ), object_function, morphism_function, object_function_inverse, morphism_function_inverse );
 
+    C!.range_category_of_hom_structure_already_extended_by_identity := true;
+
 end );
 
 ######################################