implemented faster ClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier

Author: mohamed-barakat

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2020.11-11",
+Version := "2020.11-12",
 
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",

gap/FinSetsForCAP.gi

@@ -1004,21 +1004,24 @@ end );
 
 ##
 AddClassifyingMorphismOfSubobjectWithGivenSubobjectClassifier( category_of_finite_sets,
-  function ( category_of_finite_sets, monomorphism, omega )
-      local range, image, r, x;
-
-      r := [ ];
-      range := Range( monomorphism );
-
-      for x in range do
-          if x in ImageObject( monomorphism ) then
-              Add( r, [ x, "true" ] );
-          else
-              Add( r, [ x, "false" ] );
-          fi;
-      od;
-            
-      return MapOfFinSets( range, r, omega );
+  function ( category_of_finite_sets, monomorphism, Omega )
+    local range, images;
+    
+    range := Range( monomorphism );
+    
+    images := List( range,
+                    function ( x )
+                      
+                      if x in ImageObject( monomorphism ) then
+                          return [ x, "true" ];
+                      fi;
+                      
+                      return [ x, "false" ];
+                      
+                  end );
+      
+      return MapOfFinSets( range, images, Omega );
+      
 end );
 
 end );