Merge pull request #727 from zickgraf/master

Pass category to compare_morphisms in AdditiveClosure

Author: zickgraf

FreydCategoriesForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FreydCategoriesForCAP",
 Subtitle := "Freyd categories - Formal (co)kernels for additive categories",
-Version := "2021.09-06",
+Version := "2021.10-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

FreydCategoriesForCAP/gap/AdditiveClosure.gi

@@ -695,7 +695,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADDITIVE_CLOSURE,
 
     end );
 
-    compare_morphisms := function( morphism_1, morphism_2, comparison_function )
+    compare_morphisms := function( cat, morphism_1, morphism_2, comparison_function )
       local nr_rows_1, nr_rows_2, nr_cols_1, nr_cols_2;
         #% CAP_JIT_RESOLVE_FUNCTION
 
@@ -722,7 +722,7 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADDITIVE_CLOSURE,
         fi;
 
         return ForAll( [ 1 .. nr_rows_1 ], i ->
-                 ForAll( [ 1 .. nr_cols_1 ], j -> comparison_function( morphism_1[i, j], morphism_2[i, j] ) )
+                 ForAll( [ 1 .. nr_cols_1 ], j -> comparison_function( UnderlyingCategory( cat ), morphism_1[i, j], morphism_2[i, j] ) )
                );
 
     end;
@@ -731,15 +731,15 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADDITIVE_CLOSURE,
     AddIsEqualForMorphisms( category,
       function( cat, morphism_1, morphism_2 )
 
-        return compare_morphisms( morphism_1, morphism_2, IsEqualForMorphisms );
+        return compare_morphisms( cat, morphism_1, morphism_2, IsEqualForMorphisms );
 
     end );
 
     ##
     AddIsCongruentForMorphisms( category,
       function( cat, morphism_1, morphism_2 )
 
-        return compare_morphisms( morphism_1, morphism_2, IsCongruentForMorphisms );
+        return compare_morphisms( cat, morphism_1, morphism_2, IsCongruentForMorphisms );
 
     end );