Merge pull request #260 from zickgraf/master

Add "overhead" argument to SkeletalCategoryOfFiniteSets
homalg-project · Aug 23, 2024 · f391737 · f391737
2 parents fbe577f + b658d29
commit f391737
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2024.07-03",
+Version := "2024.08-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/gap/SkeletalFinSets.gi b/gap/SkeletalFinSets.gi
@@ -11,6 +11,7 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
  FunctionWithNamedArguments(
   [
     [ "no_precompiled_code", false ],
+    [ "overhead", true ],
   ],
   function ( CAP_NAMED_ARGUMENTS )
     local cat;
@@ -19,6 +20,7 @@ InstallMethod( SkeletalCategoryOfFiniteSets,
         "SkeletalFinSets", IsSkeletalCategoryOfFiniteSets,
         IsObjectInSkeletalCategoryOfFiniteSets, IsMorphismInSkeletalCategoryOfFiniteSets, IsCapCategoryTwoCell,
         IsBigInt, CapJitDataTypeOfListOf( IsBigInt ), fail
+        : overhead := CAP_NAMED_ARGUMENTS.overhead
     );
 
     cat!.category_as_first_argument := true;