precompiled SkeletalFinSets :-)

Thanks Fabian

Author: mohamed-barakat

PackageInfo.g

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

examples/PrecompileLinearAlgebraForCAP.g

@@ -0,0 +1,42 @@
+#! @Chapter Precompilation
+
+#! @Section Precompiling the category of skeletal finite sets
+
+#! @Example
+LoadPackage( "FinSetsForCAP", false );
+#! true
+category_constructor := {} -> CategoryOfSkeletalFinSets( );;
+given_arguments := [ ];;
+compiled_category_name := "CategoryOfSkeletalFinSetsPrecompiled";;
+package_name := "FinSetsForCAP";;
+
+CapJitPrecompileCategoryAndCompareResult(
+    category_constructor,
+    given_arguments,
+    package_name,
+    compiled_category_name
+    :
+    operations :=
+      Difference(
+              ListPrimitivelyInstalledOperationsOfCategory( SkeletalFinSets ),
+              [ "CartesianBraidingInverseWithGivenDirectProducts",
+                "ProjectionInFactorOfDirectProduct",
+                "UniversalMorphismIntoDirectProduct",
+                ] )
+              );;
+
+CategoryOfSkeletalFinSetsPrecompiled( );
+#! SkeletalFinSets
+cat := CategoryOfSkeletalFinSets( );
+#! SkeletalFinSets
+#! @EndExample
+
+#! Now we check whether the compiled code is loaded automatically.
+#! For this we use the name of the argument of `InitialObject`;
+#! for non-compiled code it is "cat", while for compiled code it is "cat_1":
+
+#! @Example
+NamesLocalVariablesFunction(
+        Last( cat!.added_functions.InitialObject )[1] )[1];
+#! "cat_1"
+#! @EndExample

examples/SkeletalCoastrictionToImage.g

@@ -12,7 +12,7 @@ phi := MapOfFinSets( n, [ 7, 5, 5 ], m );
 IsWellDefined( phi );
 #! true
 f := CoastrictionToImage( phi );
-#! <An epimorphism in SkeletalFinSets>
+#! <A morphism in SkeletalFinSets>
 Display( f );
 #! [ 3, [ 2, 1, 1 ], 2 ]
 IsWellDefined( f );
@@ -32,7 +32,7 @@ IsWellDefined( phi );
 iota := ImageEmbedding( phi );
 #! <A monomorphism in SkeletalFinSets>
 pi := CoastrictionToImage( phi );
-#! <An epimorphism in SkeletalFinSets>
+#! <A morphism in SkeletalFinSets>
 Display( pi );
 #! [ 4, [ 3, 1, 2, 1 ], 3 ]
 IsWellDefined( pi );

gap/SkeletalFinSetsForCAP.gd

@@ -7,6 +7,12 @@
 # Technical functions
 DeclareGlobalFunction( "INSTALL_FUNCTIONS_FOR_SKELETAL_FIN_SETS" );
 
+DeclareGlobalFunction( "SKELETAL_FIN_SETS_Coequalizer" );
+
+DeclareGlobalFunction( "SKELETAL_FIN_SETS_IsMonomorphism" );
+
+DeclareGlobalFunction( "SKELETAL_FIN_SETS_IsEpimorphism" );
+
 #! @Chapter The category of skeletal finite sets
 
 #! @Section Skeletal GAP Categories