Merge pull request #69 from mohamed-barakat/compilation

start compilation

Author: mohamed-barakat

PackageInfo.g

@@ -99,7 +99,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2026.05-02" ],
+                   [ "CAP", ">= 2026.05-04" ],
                    [ "GroupsAsCategoriesForCAP", ">= 2026.04-02" ],
                    [ "FinSetsForCAP", ">= 2022.05-01" ],
                    ],

doc/Doc.autodoc

@@ -27,5 +27,6 @@
 @Section Reconstruction Tools
 @Section Examples
 
+@Chapter Precompilation
 
 @Chapter Bibliography

examples/precompile_SkeletalCategoryOfTransitiveLeftGSets.g

@@ -0,0 +1,61 @@
+#! @Chapter Precompilation
+
+#! @Section Precompiling the skeletal category of finite left G-sets
+
+#! @Example
+
+#! #@if ValueOption( "no_precompiled_code" ) <> true
+
+LoadPackage( "FinGSetsForCAP", false );
+#! true
+LoadPackage( "CompilerForCAP", ">= 2026.05-01", false );
+#! true
+ReadPackageOnce( "FinSetsForCAP", "gap/CompilerLogic.gi" );
+#! true
+
+category_constructor :=
+  G -> SkeletalCategoryOfTransitiveLeftGSets(
+          GROUP_AS_CATEGORY( G : FinalizeCategory := true ) );;
+C2 := CyclicGroup( 2 );; StructureDescription( C2 );; C2;
+#! C2
+given_arguments := [ C2 ];;
+compiled_category_name :=
+  "SkeletalCategoryOfTransitiveLeftGSets_precompiled";;
+package_name := "FinGSetsForCAP";;
+#primitive_operations :=
+#  ListPrimitivelyInstalledOperationsOfCategory(
+#          category_constructor( given_arguments[1]
+#          : no_precompiled_code := true ) );;
+list_of_operations :=
+  #SortedList( Concatenation( primitive_operations,
+          [ "SetOfObjectsOfCategory",
+            "IsEqualForObjects",
+            "IsWellDefinedForObjects",
+            #"IsWellDefinedForMorphisms",
+            ];;
+  #) );;
+
+CapJitPrecompileCategoryAndCompareResult(
+        category_constructor,
+        given_arguments,
+        package_name,
+        compiled_category_name
+        : operations := list_of_operations,
+        number_of_objectified_objects_in_data_structure_of_object := 1,
+        number_of_objectified_morphisms_in_data_structure_of_object := 0,
+        number_of_objectified_objects_in_data_structure_of_morphism := 2,
+        number_of_objectified_morphisms_in_data_structure_of_morphism := 1
+);;
+
+SkeletalCategoryOfTransitiveLeftGSets_precompiled( C2 );
+#! SkeletalCategoryOfTransitiveLeftGSets( C2 ) with 2 objects
+
+cat := SkeletalCategoryOfTransitiveLeftGSets( C2 );
+#! SkeletalCategoryOfTransitiveLeftGSets( C2 ) with 2 objects
+
+cat!.precompiled_functions_added;
+#! true
+
+#! #@fi
+
+#! @EndExample

gap/SkeletalCategoryOfTransitiveLeftGSets.gd

@@ -61,11 +61,11 @@ DeclareAttribute( "SkeletalCategoryOfTransitiveLeftGSets",
 DeclareAttribute( "UnderlyingGroup",
         IsSkeletalCategoryOfTransitiveLeftGSets );
 
-#CapJitAddTypeSignature( "UnderlyingGroup", [ IsSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
-#
-#    return CapJitDataTypeOfGroup( UnderlyingGroup( input_types[1].category ) );
-#
-#end );
+CapJitAddTypeSignature( "UnderlyingGroup", [ IsSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
+    
+    return CapJitDataTypeOfGroup( UnderlyingGroup( input_types[1].category ) );
+    
+end );
 
 #! @Description
 #!  The group $G$ underlying the skeletal category <A>C</A> of transitive left $G$-set, viewed as a category on one object.
@@ -103,19 +103,25 @@ CapJitAddTypeSignature( "NumberOfObjects", [ IsSkeletalCategoryOfTransitiveLeftG
 DeclareAttribute( "CardinalitiesOfObjects",
         IsSkeletalCategoryOfTransitiveLeftGSets );
 
-#CapJitAddTypeSignature( "CardinalitiesOfObjects", [ IsSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
-#
-#    return CapJitDataTypeOfListOf( IsBigInt );
-#
-#end );
+CapJitAddTypeSignature( "CardinalitiesOfObjects", [ IsSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
+    
+    return CapJitDataTypeOfListOf( IsBigInt );
+    
+end );
 
 #! @Description
-#!  The number of objects of the skeletal category <A>C</A> of transitive left $G$-set.
+#!  The list of subgroups up to conjugation of the underlying group.
 #! @Arguments C
 #! @Returns a positive integer
 DeclareAttribute( "RepresentativesOfSubgroupsUpToConjugation",
         IsSkeletalCategoryOfTransitiveLeftGSets );
 
+CapJitAddTypeSignature( "RepresentativesOfSubgroupsUpToConjugation", [ IsSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
+    
+    return CapJitDataTypeOfListOf( CapJitDataTypeOfSubgroup( UnderlyingGroup( input_types[1].category ) ) );
+    
+end );
+
 #! @Description
 #!  The positive integer $i$ such that the transitive left $G$-set <A>Omega</A> $\cong U_i \backslash G$, i.e.,
 #!  <C>ObjectNumber( TransitiveGSet( G, i ) ) = i</C>.
@@ -124,7 +130,13 @@ DeclareAttribute( "RepresentativesOfSubgroupsUpToConjugation",
 DeclareAttribute( "ObjectNumber",
         IsObjectInSkeletalCategoryOfTransitiveLeftGSets );
 
-CapJitAddTypeSignature( "ObjectNumber", [ IsObjectInSkeletalCategoryOfTransitiveLeftGSets ], IsBigInt );
+CapJitAddTypeSignature( "ObjectNumber", [ IsObjectInSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
+    
+    Assert( 0, IsSkeletalCategoryOfTransitiveLeftGSets( input_types[1].category ) );
+    
+    return ObjectDatumType( input_types[1].category );
+    
+end );
 
 #! @Description
 #!  The group elements $g \in G$ defining the morphism <A>phi</A>: $\cong U_s \backslash G \to U_t \backslash G$
@@ -134,13 +146,13 @@ CapJitAddTypeSignature( "ObjectNumber", [ IsObjectInSkeletalCategoryOfTransitive
 DeclareAttribute( "UnderlyingGroupElement",
         IsMorphismInSkeletalCategoryOfTransitiveLeftGSets );
 
-#CapJitAddTypeSignature( "UnderlyingGroupElement", [ IsMorphismInSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
-#
-#    Assert( 0, IsSkeletalCategoryOfTransitiveLeftGSets( input_types[1].category ) );
-#
-#    return CapJitDataTypeOfElementOfGroup( UnderlyingGroup( input_types[1].category ) );
-#
-#end );
+CapJitAddTypeSignature( "UnderlyingGroupElement", [ IsMorphismInSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
+    
+    Assert( 0, IsSkeletalCategoryOfTransitiveLeftGSets( input_types[1].category ) );
+    
+    return MorphismDatumType( input_types[1].category );
+    
+end );
 
 #! @Description
 #!  The cardinality of the transitive left $G$-set <A>Omega</A>.

gap/SkeletalCategoryOfTransitiveLeftGSets.gi

@@ -15,7 +15,10 @@ InstallMethod( SkeletalCategoryOfTransitiveLeftGSets,
     [ "overhead", true ],
   ],
   function ( CAP_NAMED_ARGUMENTS, group_as_category )
-    local group, name_of_group, tom, u, name, SkeletalTransitiveGSets;
+    local group, name_of_group, tom, u,
+          name, category_filter, category_object_filter, category_morphism_filter,
+          object_datum_type, morphism_datum_type,
+          SkeletalTransitiveGSets;
 
     group := UnderlyingGroup( group_as_category );
 
@@ -34,14 +37,26 @@ InstallMethod( SkeletalCategoryOfTransitiveLeftGSets,
 
     name := Concatenation( "SkeletalCategoryOfTransitiveLeftGSets( ", name_of_group, " ) with ", String( u ), " objects" );
 
+    ##
+    category_filter := IsSkeletalCategoryOfTransitiveLeftGSets;
+    category_object_filter := IsObjectInSkeletalCategoryOfTransitiveLeftGSets;
+    category_morphism_filter := IsMorphismInSkeletalCategoryOfTransitiveLeftGSets;
+    
+    ##
+    object_datum_type := IsBigInt;
+    
+    ##
+    morphism_datum_type := CapJitDataTypeOfElementOfGroup( group );
+    
     SkeletalTransitiveGSets :=
-      CreateCapCategoryWithDataTypes( name,
-              IsSkeletalCategoryOfTransitiveLeftGSets,
-              IsObjectInSkeletalCategoryOfTransitiveLeftGSets,
-              IsMorphismInSkeletalCategoryOfTransitiveLeftGSets,
+      CreateCapCategoryWithDataTypes(
+              name,
+              category_filter,
+              category_object_filter,
+              category_morphism_filter,
               IsCapCategoryTwoCell,
-              IsBigInt,
-              IsMultiplicativeElementWithInverse,
+              object_datum_type,
+              morphism_datum_type,
               fail :
               overhead := CAP_NAMED_ARGUMENTS.overhead );
 
@@ -215,7 +230,7 @@ InstallMethod( SkeletalCategoryOfTransitiveLeftGSets,
       function ( SkeletalTransitiveGSets, mor_pre, mor_post )
 
         ## we choose the left cosets in order for the embedding G ↪ SkeletalCategoryOfTransitiveLeftGSets( G ) to be covariant:
-        ## g: G/U → G/V, h: G/V → G/W, translates to U ⊆ ᵍV, V ⊆ ʰW ⟹ U ⊆ ᵍV ⊆ ᵍʰW
+        ## g: G/U → G/V, h: G/V → G/W, translates to Uᵍ ⊆ V, Vʰ ⊆ W ⟹ Uᵍʰ ⊆ Vʰ ⊆ W
         return MorphismConstructor( SkeletalTransitiveGSets,
                        Source( mor_pre ),
                        UnderlyingGroupElement( mor_pre ) * UnderlyingGroupElement( mor_post ),
@@ -450,6 +465,12 @@ InstallMethod( SkeletalCategoryOfTransitiveLeftGSets,
 
     end );
 
+    if CAP_NAMED_ARGUMENTS.no_precompiled_code <> true then
+        
+        ADD_FUNCTIONS_FOR_SkeletalCategoryOfTransitiveLeftGSets_precompiled( SkeletalTransitiveGSets );
+        
+    fi;
+    
     if CAP_NAMED_ARGUMENTS.FinalizeCategory then
         Finalize( SkeletalTransitiveGSets );
     fi;
@@ -494,13 +515,13 @@ InstallMethod( \.,
 end );
 
 ##
-InstallMethod( SetOfObjects,
+InstallMethodForCompilerForCAP( SetOfObjects,
         "for the skeletal category of transitive left G-sets",
         [ IsSkeletalCategoryOfTransitiveLeftGSets ],
 
   function ( SkeletalTransitiveGSets )
 
-    return SetOfObjectsOfCategory( SkeletalTransitiveGSets );
+    return SetOfObjectsAsUnresolvableAttribute( SkeletalTransitiveGSets );
 
 end );
 

gap/precompiled_categories/SkeletalCategoryOfTransitiveLeftGSets_precompiled.gi

@@ -0,0 +1,74 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# FinGSetsForCAP: The (skeletal) elementary topos of finite G-sets
+#
+# Implementations
+#
+BindGlobal( "ADD_FUNCTIONS_FOR_SkeletalCategoryOfTransitiveLeftGSets_precompiled", function ( cat )
+    
+    ##
+    AddSetOfObjectsOfCategory( cat,
+        
+########
+function ( cat_1 )
+    return List( [ 1 .. NumberOfObjects( cat_1 ) ], function ( i_2 )
+            return CreateCapCategoryObjectWithAttributes( cat_1, ObjectNumber, i_2 );
+        end );
+end
+########
+        
+    , 100 );
+    
+    ##
+    AddIsEqualForObjects( cat,
+        
+########
+function ( cat_1, arg2_1, arg3_1 )
+    return ObjectNumber( arg2_1 ) = ObjectNumber( arg3_1 );
+end
+########
+        
+    , 100 );
+    
+    ##
+    AddIsWellDefinedForObjects( cat,
+        
+########
+function ( cat_1, arg2_1 )
+    return ObjectNumber( arg2_1 ) in [ 1 .. NumberOfObjects( cat_1 ) ];
+end
+########
+        
+    , 100 );
+    
+    if IsBound( cat!.precompiled_functions_added ) then
+        
+        # COVERAGE_IGNORE_NEXT_LINE
+        Error( "precompiled functions have already been added before" );
+        
+    fi;
+    
+    cat!.precompiled_functions_added := true;
+    
+end );
+
+BindGlobal( "SkeletalCategoryOfTransitiveLeftGSets_precompiled", function ( G )
+  local category_constructor, cat;
+    
+    category_constructor :=
+        
+        
+        function ( G )
+    return SkeletalCategoryOfTransitiveLeftGSets( GROUP_AS_CATEGORY( G : FinalizeCategory := true ) );
+end;
+        
+        
+    
+    cat := category_constructor( G : FinalizeCategory := false, no_precompiled_code := true );
+    
+    ADD_FUNCTIONS_FOR_SkeletalCategoryOfTransitiveLeftGSets_precompiled( cat );
+    
+    Finalize( cat );
+    
+    return cat;
+    
+end );

read.g

@@ -6,6 +6,8 @@
 
 ReadPackage( "FinGSetsForCAP", "gap/Tools.gi" );
 
+ReadPackage( "FinGSetsForCAP", "gap/precompiled_categories/SkeletalCategoryOfTransitiveLeftGSets_precompiled.gi" );
+
 ReadPackage( "FinGSetsForCAP", "gap/SkeletalCategoryOfTransitiveLeftGSets.gi" );
 
 ReadPackage( "FinGSetsForCAP", "gap/SkeletalCategoryOfFiniteRightGSets.gi" );