Merge pull request #1400 from TKuh/remove_cache

Remove `AddIsEqualForCache*`
homalg-project · Jul 28, 2023 · 43c8e14 · 43c8e14
2 parents 0b5b9d2 + b3f1202
commit 43c8e14
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 42 deletions.
diff --git a/ActionsForCAP/examples/IndirectionTest.g b/ActionsForCAP/examples/IndirectionTest.g
@@ -92,9 +92,7 @@ triple := EnhancementWithAttributes( category_with_attributes_record );;
 indirection_category := triple[1];;
 SetIsAbelianCategory( indirection_category, true );;
 Reevaluate( indirection_category!.derivations_weight_list );
-AddIsEqualForCacheForObjects( indirection_category, IsIdenticalObj );;
 AddIsEqualForObjects( indirection_category, function( obj1, obj2 ) return UnderlyingCell( obj1 ) = UnderlyingCell( obj2 ); end );;
-AddIsEqualForCacheForMorphisms( indirection_category, IsIdenticalObj );;
 AddIsEqualForMorphisms( indirection_category, IsIdenticalObj );;
 AddIsCongruentForMorphisms( indirection_category, function( mor1, mor2 ) return UnderlyingCell( mor1 ) = UnderlyingCell( mor2 ); end );;
 Finalize( indirection_category );;

diff --git a/ActionsForCAP/gap/ActionsCategory.gi b/ActionsForCAP/gap/ActionsCategory.gi
@@ -559,14 +559,6 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_LEFT_AND_RIGHT_ACTIONS_CATEGORY,
   function( category )
     local underlying_category;
 
-    ##
-    AddIsEqualForCacheForObjects( category,
-      IsIdenticalObj );
-
-    ##
-    AddIsEqualForCacheForMorphisms( category,
-      IsIdenticalObj );
-
     underlying_category := UnderlyingCategory( category );
 
     if CanCompute( underlying_category, "IsCongruentForMorphisms" ) then

diff --git a/ActionsForCAP/gap/CoactionsCategory.gi b/ActionsForCAP/gap/CoactionsCategory.gi
@@ -516,14 +516,6 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_LEFT_AND_RIGHT_COACTIONS_CATEGORY,
   function( category )
     local underlying_category;
 
-    ##
-    AddIsEqualForCacheForObjects( category,
-      IsIdenticalObj );
-
-    ##
-    AddIsEqualForCacheForMorphisms( category,
-      IsIdenticalObj );
-
     underlying_category := UnderlyingCategory( category );
 
     if CanCompute( underlying_category, "IsCongruentForMorphisms" ) then

diff --git a/CAP/examples/FieldAsCategory.g b/CAP/examples/FieldAsCategory.g
@@ -118,14 +118,6 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_FIELD_AS_CATEGORY,
 
     field := UnderlyingFieldForHomalg( category );
 
-    ##
-    AddIsEqualForCacheForObjects( category,
-      IsIdenticalObj );
-
-    ##
-    AddIsEqualForCacheForMorphisms( category,
-      IsIdenticalObj );
-
     ##
     AddIsEqualForObjects( category,
       function( a, b )

diff --git a/CAP/examples/StringsAsCategory.g b/CAP/examples/StringsAsCategory.g
@@ -131,14 +131,6 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_STRINGS_AS_CATEGORY,
 
     vowels := "aeiou";
 
-    ##
-    AddIsEqualForCacheForObjects( category,
-      IsIdenticalObj );
-
-    ##
-    AddIsEqualForCacheForMorphisms( category,
-      IsIdenticalObj );
-
     ##
     AddIsEqualForObjects( category,
       function( a, b )

diff --git a/FreydCategoriesForCAP/gap/AdelmanCategory.gi b/FreydCategoriesForCAP/gap/AdelmanCategory.gi
@@ -292,14 +292,6 @@ InstallGlobalFunction( INSTALL_FUNCTIONS_FOR_ADELMAN_CATEGORY,
 
     underlying_category := UnderlyingCategory( category );
 
-    ##
-    AddIsEqualForCacheForObjects( category,
-      { cat, obj1, obj2 } -> IsIdenticalObj( obj1, obj2 ) );
-
-    ##
-    AddIsEqualForCacheForMorphisms( category,
-      { cat, mor1, mor2 } -> IsIdenticalObj( mor1, mor2 ) );
-
     ## Well-defined for objects and morphisms
     ##
     AddIsWellDefinedForObjects( category,