From ed7c5e3825b009f5c8375fea138e250b297986c9 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Wed, 18 Sep 2024 22:05:28 +0200
Subject: [PATCH] replace b in ListImpliedFilters( a ) ->
 IsSpecializationOfFilter( b, a )

---
 LazyCategories/PackageInfo.g            | 2 +-
 LazyCategories/gap/LazyCategory.gi      | 2 +-
 ToolsForCategoricalTowers/PackageInfo.g | 2 +-
 ToolsForCategoricalTowers/gap/Tools.gi  | 4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/LazyCategories/PackageInfo.g b/LazyCategories/PackageInfo.g
index 52dc2efa0..7ef012b19 100644
--- a/LazyCategories/PackageInfo.g
+++ b/LazyCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LazyCategories",
 Subtitle := "Construct an equivalent lazy category out of a CAP category",
-Version := "2024.09-03",
+Version := "2024.09-04",
 Date := ~.Version{[ 1 .. 10 ]},
 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/LazyCategories/gap/LazyCategory.gi b/LazyCategories/gap/LazyCategory.gi
index 27f7e8d55..1fb9ed347 100644
--- a/LazyCategories/gap/LazyCategory.gi
+++ b/LazyCategories/gap/LazyCategory.gi
@@ -500,7 +500,7 @@ InstallMethod( LazyCategory,
     properties := ListKnownCategoricalProperties( C );
     
     ignore := [ "IsSkeletalCategory" ];
-    Append( ignore, Filtered( properties, p -> "IsSkeletalCategory" in ListImpliedFilters( FilterByName( p ) ) ) );
+    Append( ignore, Filtered( properties, p -> IsSpecializationOfFilter( IsSkeletalCategory, FilterByName( p ) ) ) );
     Append( ignore, Filtered( properties, p -> IsInt( PositionSublist( p, "Strict" ) ) ) );
     Append( ignore, Filtered( properties, p -> ForAny( ListImpliedFilters( FilterByName( p ) ), i -> IsInt( PositionSublist( i, "Strict" ) ) ) ) );
     
diff --git a/ToolsForCategoricalTowers/PackageInfo.g b/ToolsForCategoricalTowers/PackageInfo.g
index 41acc2c35..f1ea8fbe5 100644
--- a/ToolsForCategoricalTowers/PackageInfo.g
+++ b/ToolsForCategoricalTowers/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ToolsForCategoricalTowers",
 Subtitle := "Tools for CategoricalTowers",
-Version := "2024.09-04",
+Version := "2024.09-05",
 
 Date := ~.Version{[ 1 .. 10 ]},
 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)( ),
diff --git a/ToolsForCategoricalTowers/gap/Tools.gi b/ToolsForCategoricalTowers/gap/Tools.gi
index 9dba700b0..05654d454 100644
--- a/ToolsForCategoricalTowers/gap/Tools.gi
+++ b/ToolsForCategoricalTowers/gap/Tools.gi
@@ -44,8 +44,8 @@ InstallMethod( DummyCategoryInDoctrines,
         
         bool := IsSubset( ListMethodsOfDoctrine( a ), ListMethodsOfDoctrine( b ) );
         
-        if minimal = true and IsBoundGlobal( a ) then
-            return ( b in ListImpliedFilters( ValueGlobal( a ) ) ) or bool;
+        if minimal = true and IsBoundGlobal( a ) and IsBoundGlobal( b ) then
+            return IsSpecializationOfFilter( ValueGlobal( b ), ValueGlobal( a ) ) or bool;
         else
             return bool;
         fi;