diff --git a/ActionsForCAP/examples/IndirectionTest.g b/ActionsForCAP/examples/IndirectionTest.g index 56cc4af175..25c5775294 100644 --- 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 index 4b0f99f1be..2ffb24d6f2 100644 --- 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 index 28881852ab..17a34d3229 100644 --- 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 index 54f8a96f7c..67ee78bd68 100644 --- 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 index 5ba502c127..6837bc072c 100644 --- 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 index 3a5fce5ebf..264666cc50 100644 --- 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,