Merge pull request #238 from zickgraf/master

Simplify compiler_hints.object/morphism_filter

Author: mohamed-barakat

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "Algebroids",
 Subtitle := "Algebroids and bialgebroids as preadditive categories generated by enhanced quivers",
-Version := "2022.12-34",
+Version := "2023.01-01",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),

gap/CategoryFromDataTables.gi

@@ -44,8 +44,8 @@ InstallMethod( CategoryFromDataTables,
 
     C!.compiler_hints :=
       rec( category_filter := IsCategoryFromDataTables,
-           object_filter := IsObjectInCategoryFromDataTables and HasMapOfObject,
-           morphism_filter := IsMorphismInCategoryFromDataTables and HasMapOfMorphism,
+           object_filter := IsObjectInCategoryFromDataTables,
+           morphism_filter := IsMorphismInCategoryFromDataTables,
            category_attribute_names :=
            [ "DataTables",
              "IndicesOfGeneratingMorphisms",

gap/CategoryFromNerveData.gi

@@ -45,8 +45,8 @@ InstallMethod( CategoryFromNerveData,
 
     C!.compiler_hints :=
       rec( category_filter := IsCategoryFromNerveData,
-           object_filter := IsObjectInCategoryFromNerveData and HasMapOfObject,
-           morphism_filter := IsMorphismInCategoryFromNerveData and HasMapOfMorphism,
+           object_filter := IsObjectInCategoryFromNerveData,
+           morphism_filter := IsMorphismInCategoryFromNerveData,
            category_attribute_names :=
            [ "NerveData",
              "IndicesOfGeneratingMorphisms",