compiled all installed operations of SkeletalCategoryOfTransitiveLeftGSets

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinGSetsForCAP",
 Subtitle := "The (skeletal) elementary topos of finite G-sets",
-Version := "2026.05-07",
+Version := "2026.05-08",
 
 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",
@@ -100,7 +100,8 @@ Dependencies := rec(
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2026.05-04" ],
-                   [ "GroupsAsCategoriesForCAP", ">= 2026.05-03" ],
+                   [ "GroupsAsCategoriesForCAP", ">= 2026.05-04" ],
+                   [ "Toposes", ">= 2022.05-03" ],
                    [ "FinSetsForCAP", ">= 2022.05-01" ],
                    ],
   ExternalConditions := [ ],

examples/precompile_SkeletalCategoryOfTransitiveLeftGSets.g

@@ -8,7 +8,11 @@
 
 LoadPackage( "FinGSetsForCAP", false );
 #! true
-LoadPackage( "CompilerForCAP", ">= 2026.05-01", false );
+LoadPackage( "CompilerForCAP", ">= 2026.05-03", false );
+#! true
+ReadPackageOnce( "FinSetsForCAP", "gap/CompilerLogic.gi" );
+#! true
+ReadPackageOnce( "FinGSetsForCAP", "gap/CompilerLogic.gi" );
 #! true
 
 category_constructor :=
@@ -20,18 +24,11 @@ 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",
-            ];;
-  #) );;
+all_operations :=
+  ListInstalledOperationsOfCategory(
+          category_constructor( given_arguments[1]
+                  : no_precompiled_code := true ) );;
+list_of_operations := SortedList( all_operations );;
 
 CapJitPrecompileCategoryAndCompareResult(
         category_constructor,

gap/CompilerLogic.gi

@@ -0,0 +1,32 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# FinGSetsForCAP: The (skeletal) elementary topos of finite G-sets
+#
+# Implementations
+#
+
+CapJitAddLogicTemplate(
+    rec(
+        variable_names := [ "v", "b" ],
+        variable_filters := [ IsBigInt, IsBigInt ],
+        src_template := "DigitInPositionalNotation( v, BigInt( 0 ), BigInt( 1 ), b )",
+        dst_template := "v",
+    )
+);
+
+CapJitAddLogicTemplate(
+    rec(
+        variable_names := [ "gs", "U", "TG", "source", "target", "h" ],
+        variable_filters := [ IsList, IsList, IsSkeletalCategoryOfTransitiveLeftGSets, IsObjectInSkeletalCategoryOfTransitiveLeftGSets, IsObjectInSkeletalCategoryOfTransitiveLeftGSets, IsMultiplicativeElementWithInverse ],
+        src_template := "SafeUniquePositionProperty( List( gs, g -> CreateCapCategoryMorphismWithAttributes( TG, source, target, UnderlyingGroupElement, g ) ), mor -> MultiplyGroupElements( InverseImmutable( UnderlyingGroupElement( mor ) ), h ) in U[ObjectNumber( Range( mor ) )] )",
+        dst_template := "SafeUniquePositionProperty( gs, g -> MultiplyGroupElements( InverseImmutable( g ), h ) in U[ObjectNumber( target )] )",
+    )
+);
+
+CapJitAddLogicTemplate(
+    rec(
+        variable_names := [ "iota", "func" ],
+        variable_filters := [ IsMorphismInSkeletalCategoryOfFiniteSets, IsFunction ],
+        src_template := "SafeUniquePositionProperty( List( [ 0 .. Cardinality( Target( iota ) ) - 1 ], func ), mor -> AsList( mor ) = AsList( iota ) )",
+        dst_template := "1 + AsList( iota )[1]",
+    )
+);

gap/SkeletalCategoryOfTransitiveLeftGSets.gd

@@ -186,11 +186,11 @@ end );
 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.
@@ -219,7 +219,7 @@ DeclareAttribute( "UnderlyingTableOfMarks",
 DeclareAttribute( "NumberOfObjects",
         IsSkeletalCategoryOfTransitiveLeftGSets );
 
-#CapJitAddTypeSignature( "NumberOfObjects", [ IsSkeletalCategoryOfTransitiveLeftGSets ], IsBigInt );
+CapJitAddTypeSignature( "NumberOfObjects", [ IsSkeletalCategoryOfTransitiveLeftGSets ], IsBigInt );
 
 #! @Description
 #!  The list of cardinalities of objects of the skeletal category <A>C</A> of transitive left $G$-set.
@@ -228,11 +228,11 @@ DeclareAttribute( "NumberOfObjects",
 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 list of subgroups up to conjugation of the underlying group.
@@ -241,11 +241,11 @@ DeclareAttribute( "CardinalitiesOfObjects",
 DeclareAttribute( "RepresentativesOfSubgroupsUpToConjugation",
         IsSkeletalCategoryOfTransitiveLeftGSets );
 
-#CapJitAddTypeSignature( "RepresentativesOfSubgroupsUpToConjugation", [ IsSkeletalCategoryOfTransitiveLeftGSets ], function ( input_types )
-#
-#    return CapJitDataTypeOfListOf( CapJitDataTypeOfSubgroup( UnderlyingGroup( input_types[1].category ) ) );
-#
-#end );
+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$.

gap/SkeletalCategoryOfTransitiveLeftGSets.gi

@@ -658,11 +658,9 @@ InstallMethod( SkeletalCategoryOfTransitiveLeftGSets,
 
     Append( SkeletalTransitiveLeftGSets!.compiler_hints.category_attribute_names,
             [ "UnderlyingGroup",
-              "UnderlyingGroupAsCategory",
               "UnderlyingTableOfMarks",
               "NumberOfObjects",
               "CardinalitiesOfObjects",
-              "SetOfObjectsAsUnresolvableAttribute",
               "RepresentativesOfSubgroupsUpToConjugation",
               ] );
 
@@ -736,7 +734,7 @@ InstallMethodForCompilerForCAP( SetOfObjects,
 
   function ( SkeletalTransitiveLeftGSets )
 
-    return SetOfObjectsAsUnresolvableAttribute( SkeletalTransitiveLeftGSets );
+    return SetOfObjectsOfCategory( SkeletalTransitiveLeftGSets );
 
 end );