ListImpliedFilters now includes the filter itself

homalg-project · Jul 11, 2023 · c355016 · c355016
1 parent c388627
commit c355016
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/ToolsForHomalg/PackageInfo.g b/ToolsForHomalg/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ToolsForHomalg",
 Subtitle := "Special methods and knowledge propagation tools",
-Version := "2023.05-01",
+Version := "2023.07-01",
 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/ToolsForHomalg/gap/ToolsForHomalg.gd b/ToolsForHomalg/gap/ToolsForHomalg.gd
@@ -527,7 +527,8 @@ DeclareGlobalFunction( "StopTimer" );
 DeclareGlobalFunction( "DisplayTimer" );
 
 #! @Description
-#!   List the all filters implied by filter <A>filt</A>.
+#!   The input is a filter <A>filt</A>.
+#!   The output is the list of all filters implied by <A>filt</A>, including <A>filt</A> itself.
 #! @Arguments filt
 DeclareGlobalFunction( "ListImpliedFilters" );
 

diff --git a/ToolsForHomalg/gap/ToolsForHomalg.gi b/ToolsForHomalg/gap/ToolsForHomalg.gi
@@ -2737,7 +2737,7 @@ InstallGlobalFunction( ListImpliedFilters,
     od;
   end;
 
-  list := [ ];
+  list := [ NamesFilter( filter )[1] ];
 
   if SIZE_FLAGS(implied) > 0 then
       Append( list, NamesFilter( reduced( TRUES_FLAGS( implied ) ) ) );