Merge pull request #71 from mohamed-barakat/devel

compile IsWellDefinedForMorphisms for SkeletalCategoryOfTransitiveLeftGSets

Author: mohamed-barakat

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinGSetsForCAP",
 Subtitle := "The (skeletal) elementary topos of finite G-sets",
-Version := "2026.05-05",
+Version := "2026.05-06",
 
 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",

examples/precompile_SkeletalCategoryOfTransitiveLeftGSets.g

@@ -31,7 +31,7 @@ list_of_operations :=
           [ "SetOfObjectsOfCategory",
             "IsEqualForObjects",
             "IsWellDefinedForObjects",
-            #"IsWellDefinedForMorphisms",
+            "IsWellDefinedForMorphisms",
             ];;
   #) );;
 

gap/precompiled_categories/SkeletalCategoryOfTransitiveLeftGSets_precompiled.gi

@@ -40,6 +40,20 @@ end
 
     , 100 );
 
+    ##
+    AddIsWellDefinedForMorphisms( cat,
+        
+########
+function ( cat_1, alpha_1 )
+    local deduped_1_1, deduped_2_1;
+    deduped_2_1 := RepresentativesOfSubgroupsUpToConjugation( cat_1 );
+    deduped_1_1 := UnderlyingGroupElement( alpha_1 );
+    return deduped_1_1 in UnderlyingGroup( cat_1 ) and IsSubset( deduped_2_1[ObjectNumber( Target( alpha_1 ) )], ConjugateSubgroup( deduped_2_1[ObjectNumber( Source( alpha_1 ) )], deduped_1_1 ) );
+end
+########
+        
+    , 100 );
+    
     if IsBound( cat!.precompiled_functions_added ) then
 
         # COVERAGE_IGNORE_NEXT_LINE