Merge pull request #63 from zickgraf/master

Get rid of some options which are supported automatically

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2020.11-02",
+Version := "2020.11-03",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

gap/FinSetsForCAP.gd

@@ -62,8 +62,6 @@ DeclareAttribute( "AsList",
 
 #! @Description
 #!  Construct a category of finite sets.
-#!  Accepts the options <C>overhead</C> (default: <C>true</C>) and
-#!  <C>FinalizeCategory</C> (default: <C>true</C>).
 #! @Returns a &CAP; category
 DeclareOperation( "CategoryOfFinSets", [ ] );
 

gap/FinSetsForCAP.gi

@@ -9,13 +9,9 @@ InstallMethod( CategoryOfFinSets,
                [ ],
 
   function ( )
-    local overhead_option, finalize_option, FinSets;
+    local FinSets;
 
-    overhead_option := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "overhead", true );
-    
-    finalize_option := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "FinalizeCategory", true );
-    
-    FinSets := CreateCapCategory( "FinSets" : overhead := overhead_option );
+    FinSets := CreateCapCategory( "FinSets" );
 
     FinSets!.category_as_first_argument := true;
 
@@ -29,11 +25,7 @@ InstallMethod( CategoryOfFinSets,
 
     INSTALL_FUNCTIONS_FOR_FIN_SETS( FinSets );
 
-    if finalize_option then
-        
-        Finalize( FinSets );
-        
-    fi;
+    Finalize( FinSets );
 
     return FinSets;
 

gap/SkeletalFinSetsForCAP.gd

@@ -54,8 +54,6 @@ DeclareAttribute( "AsList",
 
 #! @Description
 #!  Construct a category of skeletal finite sets.
-#!  Accepts the options <C>overhead</C> (default: <C>true</C>) and
-#!  <C>FinalizeCategory</C> (default: <C>true</C>).
 #! @Returns a &CAP; category
 DeclareOperation( "CategoryOfSkeletalFinSets", [ ] );
 

gap/SkeletalFinSetsForCAP.gi

@@ -9,13 +9,9 @@ InstallMethod( CategoryOfSkeletalFinSets,
                [ ],
 
   function ( )
-    local overhead_option, finalize_option, cat;
+    local cat;
 
-    overhead_option := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "overhead", true );
-    
-    finalize_option := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "FinalizeCategory", true );
-    
-    cat := CreateCapCategory( "SkeletalFinSets" : overhead := overhead_option );
+    cat := CreateCapCategory( "SkeletalFinSets" );
 
     cat!.category_as_first_argument := true;
 
@@ -31,11 +27,7 @@ InstallMethod( CategoryOfSkeletalFinSets,
 
     INSTALL_FUNCTIONS_FOR_SKELETAL_FIN_SETS( cat );
 
-    if finalize_option then
-        
-        Finalize( cat );
-        
-    fi;
+    Finalize( cat );
 
     return cat;