deleted AddCoastrictionToImageWithGivenImageObject

and compiled CoastrictionToImage

Author: mohamed-barakat

examples/PrecompileCategoryOfSkeletalFinSetsWithMorphismsGivenByLists.g

@@ -24,6 +24,7 @@ primitive_operations :=
           category_constructor( : no_precompiled_code := true ) );;
 list_of_operations :=
   SortedList( Concatenation( primitive_operations, [
+          "CoastrictionToImage",
           "IsHomSetInhabited",
           "TruthMorphismOfImplies",
           #"HasPushoutComplement",

gap/SkeletalFinSets.gi

@@ -486,29 +486,6 @@ AddImageEmbedding( SkeletalFinSets,
 
 end );
 
-##
-AddCoastrictionToImageWithGivenImageObject( SkeletalFinSets,
-  function ( cat, phi, image_object )
-    local G, images, s, L, l, pi;
-    
-    G := AsList( phi );
-    
-    images := Set( G );
-    
-    s := Source( phi );
-    
-    L := List( s, i -> -1 + BigInt( SafePosition( images, G[1 + i] ) ) );
-    
-    pi := MorphismConstructor( cat, s, L, image_object );
-    
-    #% CAP_JIT_DROP_NEXT_STATEMENT
-    Assert( 3, IsEpimorphism( cat, pi ) );
-    
-    return pi;
-    
-end );
-
-
 ## Limits
 
 ##

gap/precompiled_categories/SkeletalCategoryOfFiniteSetsWithMorphismsGivenByListsPrecompiled.gi

@@ -157,21 +157,21 @@ end
     , 100 );
 
     ##
-    AddCoastrictionToImageWithGivenImageObject( cat,
+    AddCoastrictionToImage( cat,
 
 ########
-function ( cat_1, alpha_1, I_1 )
-    local hoisted_2_1, deduped_3_1, deduped_4_1;
-    deduped_4_1 := AsList( alpha_1 );
-    deduped_3_1 := Source( alpha_1 );
-    hoisted_2_1 := SSortedList( deduped_4_1 );
-    return CreateCapCategoryMorphismWithAttributes( cat_1, deduped_3_1, I_1, AsList, List( [ 0 .. Length( deduped_3_1 ) - 1 ], function ( i_2 )
-              return -1 + BigInt( SafePosition( hoisted_2_1, deduped_4_1[(1 + i_2)] ) );
+function ( cat_1, alpha_1 )
+    local deduped_3_1, deduped_4_1, deduped_5_1;
+    deduped_5_1 := AsList( alpha_1 );
+    deduped_4_1 := Source( alpha_1 );
+    deduped_3_1 := SSortedList( deduped_5_1 );
+    return CreateCapCategoryMorphismWithAttributes( cat_1, deduped_4_1, CreateCapCategoryObjectWithAttributes( cat_1, Length, BigInt( Length( deduped_3_1 ) ) ), AsList, List( [ 0 .. Length( deduped_4_1 ) - 1 ], function ( x_2 )
+              return -1 + BigInt( SafePosition( deduped_3_1, deduped_5_1[(1 + x_2)] ) );
           end ) );
 end
 ########
 
-    , 100 );
+    , 202 : IsPrecompiledDerivation := true );
 
     ##
     AddCoequalizer( cat,