Merge pull request #77 from mohamed-barakat/ExponentialOnObjects

improved AddExponentialOnObjects for SkeletalFinSets

Author: zickgraf

PackageInfo.g

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

gap/SkeletalFinSetsForCAP.gi

@@ -816,11 +816,12 @@ end );
 ##
 AddExponentialOnObjects( SkeletalFinSets,
   function ( cat, M, N )
-    local m;
+    local m, n;
 
     m := Length( M );
+    n := Length( N );
 
-    return FinSet( SkeletalFinSets, Length( Tuples( AsList( N ), m ) ) );
+    return FinSet( SkeletalFinSets, n ^ m );
 
 end );
 

gap/precompiled_categories/CategoryOfSkeletalFinSetsPrecompiled.gi

@@ -274,7 +274,7 @@ end
 
 ########
 function ( cat_1, a_1, b_1 )
-    return FinSet( cat_1, Length( Tuples( AsList( b_1 ), Length( a_1 ) ) ) );
+    return FinSet( cat_1, Length( b_1 ) ^ Length( a_1 ) );
 end
 ########