Merge pull request #76 from zickgraf/precompilation

Precompile SkeletalFinSets

Author: zickgraf

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-02",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

examples/PrecompileCategoryOfSkeletalFinSets.g

@@ -0,0 +1,50 @@
+#! @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";;
+
+uncompiled_SkeletalFinSets :=
+    CategoryOfSkeletalFinSets( : no_precompiled_code := true );;
+
+CapJitPrecompileCategoryAndCompareResult(
+    category_constructor,
+    given_arguments,
+    package_name,
+    compiled_category_name
+    : operations := Difference(
+        ListPrimitivelyInstalledOperationsOfCategory(
+            uncompiled_SkeletalFinSets
+        ),
+        [
+            "ProjectionInFactorOfDirectProduct", # uses CAP prepare functions
+            "UniversalMorphismIntoDirectProduct", # uses CAP prepare functions
+        ]
+    )
+);;
+
+CategoryOfSkeletalFinSetsPrecompiled( );
+#! SkeletalFinSets
+
+cat := CategoryOfSkeletalFinSets( );
+#! SkeletalFinSets
+
+# 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":
+argument_name := NamesLocalVariablesFunction(
+    Last( cat!.added_functions.InitialObject )[1] )[1];;
+
+(ValueOption( "no_precompiled_code" ) = true and argument_name = "cat") or
+    (ValueOption( "no_precompiled_code" ) = fail and argument_name = "cat_1");
+#! true
+
+#! @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_ExplicitCoequalizer" );
+
+DeclareGlobalFunction( "SKELETAL_FIN_SETS_IsMonomorphism" );
+
+DeclareGlobalFunction( "SKELETAL_FIN_SETS_IsEpimorphism" );
+
 #! @Chapter The category of skeletal finite sets
 
 #! @Section Skeletal GAP Categories