Merge pull request #208 from zickgraf/master

Adjust to homalg-project/CAP_project#1338

Author: zickgraf

PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FinSetsForCAP",
 Subtitle := "The elementary topos of (skeletal) finite sets",
-Version := "2023.05-08",
+Version := "2023.06-01",
 
 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",

gap/precompiled_categories/CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled.gi

@@ -308,10 +308,10 @@ function ( cat_1, s_1, alpha_1, beta_1, r_1 )
     hoisted_4_1 := AsList( beta_1 );
     hoisted_3_1 := AsList( alpha_1 );
     hoisted_2_1 := [ 0 .. deduped_8_1 - 1 ];
-    return CreateCapCategoryMorphismWithAttributes( cat_1, s_1, r_1, AsList, List( [ 0 .. deduped_7_1 ^ deduped_8_1 - 1 ], function ( logic_new_func_x_2 )
+    return CreateCapCategoryMorphismWithAttributes( cat_1, s_1, r_1, AsList, List( [ 0 .. deduped_7_1 ^ deduped_8_1 - 1 ], function ( i_2 )
               local hoisted_1_2;
               hoisted_1_2 := List( hoisted_2_1, function ( i_3 )
-                      return REM_INT( QUO_INT( logic_new_func_x_2, deduped_7_1 ^ i_3 ), deduped_7_1 );
+                      return REM_INT( QUO_INT( i_2, deduped_7_1 ^ i_3 ), deduped_7_1 );
                   end );
               return Sum( List( hoisted_6_1, function ( k_3 )
                         return hoisted_4_1[(1 + hoisted_1_2[(1 + hoisted_3_1[(1 + CAP_JIT_INCOMPLETE_LOGIC( k_3 ))])])] * hoisted_5_1 ^ k_3;
@@ -650,9 +650,9 @@ function ( cat_1, arg2_1, arg3_1 )
     deduped_4_1 := Length( arg2_1 );
     deduped_3_1 := Length( arg3_1 );
     hoisted_2_1 := [ 0 .. deduped_4_1 - 1 ];
-    return List( [ 0 .. deduped_3_1 ^ deduped_4_1 - 1 ], function ( logic_new_func_x_2 )
+    return List( [ 0 .. deduped_3_1 ^ deduped_4_1 - 1 ], function ( i_2 )
             return CreateCapCategoryMorphismWithAttributes( cat_1, arg2_1, arg3_1, AsList, List( hoisted_2_1, function ( i_3 )
-                      return REM_INT( QUO_INT( logic_new_func_x_2, deduped_3_1 ^ i_3 ), deduped_3_1 );
+                      return REM_INT( QUO_INT( i_2, deduped_3_1 ^ i_3 ), deduped_3_1 );
                   end ) );
         end );
 end
@@ -748,15 +748,15 @@ function ( cat_1, l_1, m_1 )
     deduped_30_1 := [ 0 .. deduped_31_1 - 1 ];
     deduped_29_1 := [ 0 .. deduped_32_1 * deduped_33_1 - 1 ];
     deduped_28_1 := [ 0 .. deduped_32_1 * deduped_32_1 - 1 ];
-    deduped_3_1 := List( deduped_28_1, function ( logic_new_func_x_2 )
-            return REM_INT( logic_new_func_x_2, deduped_32_1 );
+    deduped_3_1 := List( deduped_28_1, function ( i_2 )
+            return REM_INT( i_2, deduped_32_1 );
         end );
     deduped_27_1 := Filtered( deduped_28_1, function ( x_2 )
             return deduped_3_1[1 + x_2] = REM_INT( QUO_INT( CAP_JIT_INCOMPLETE_LOGIC( x_2 ), deduped_32_1 ), deduped_32_1 );
         end );
     hoisted_10_1 := AsList( l_1 );
-    deduped_8_1 := List( deduped_29_1, function ( logic_new_func_x_2 )
-            return REM_INT( logic_new_func_x_2, deduped_32_1 );
+    deduped_8_1 := List( deduped_29_1, function ( i_2 )
+            return REM_INT( i_2, deduped_32_1 );
         end );
     deduped_26_1 := Filtered( deduped_29_1, function ( x_2 )
             return deduped_8_1[1 + x_2] = hoisted_10_1[1 + REM_INT( QUO_INT( CAP_JIT_INCOMPLETE_LOGIC( x_2 ), deduped_32_1 ), deduped_33_1 )];
@@ -774,14 +774,14 @@ function ( cat_1, l_1, m_1 )
     hoisted_18_1 := [ deduped_36_1, deduped_35_1, deduped_36_1, deduped_36_1 ];
     hoisted_17_1 := BigInt( 2 );
     deduped_5_1 := AsList( m_1 );
-    hoisted_15_1 := List( deduped_24_1, function ( logic_new_func_x_2 )
-            return deduped_5_1[1 + deduped_8_1[(1 + deduped_26_1[(1 + logic_new_func_x_2)])]];
+    hoisted_15_1 := List( deduped_24_1, function ( i_2 )
+            return deduped_5_1[1 + deduped_8_1[(1 + deduped_26_1[(1 + i_2)])]];
         end );
-    hoisted_16_1 := List( [ 0 .. Length( deduped_23_1 ) - 1 ], function ( logic_new_func_x_2 )
-            return hoisted_15_1[1 + REM_INT( CAP_JIT_INCOMPLETE_LOGIC( deduped_23_1[(1 + logic_new_func_x_2)] ), deduped_25_1 )];
+    hoisted_16_1 := List( [ 0 .. Length( deduped_23_1 ) - 1 ], function ( i_2 )
+            return hoisted_15_1[1 + REM_INT( CAP_JIT_INCOMPLETE_LOGIC( deduped_23_1[(1 + i_2)] ), deduped_25_1 )];
         end );
-    hoisted_6_1 := List( [ 0 .. Length( deduped_27_1 ) - 1 ], function ( logic_new_func_x_2 )
-            return deduped_5_1[1 + deduped_3_1[(1 + deduped_27_1[(1 + logic_new_func_x_2)])]];
+    hoisted_6_1 := List( [ 0 .. Length( deduped_27_1 ) - 1 ], function ( i_2 )
+            return deduped_5_1[1 + deduped_3_1[(1 + deduped_27_1[(1 + i_2)])]];
         end );
     deduped_22_1 := Filtered( deduped_30_1, function ( x_2 )
             local deduped_1_2;
@@ -805,8 +805,8 @@ function ( cat_1, l_1, m_1 )
     deduped_20_1 := List( deduped_30_1, function ( i_2 )
             return REM_INT( i_2, deduped_31_1 );
         end );
-    deduped_21_1 := SSortedList( List( [ 0 .. Length( deduped_22_1 ) - 1 ], function ( logic_new_func_x_2 )
-              return deduped_20_1[1 + deduped_20_1[(1 + deduped_22_1[(1 + logic_new_func_x_2)])]];
+    deduped_21_1 := SSortedList( List( [ 0 .. Length( deduped_22_1 ) - 1 ], function ( i_2 )
+              return deduped_20_1[1 + deduped_20_1[(1 + deduped_22_1[(1 + i_2)])]];
           end ) );
     return CreateCapCategoryMorphismWithAttributes( cat_1, CreateCapCategoryObjectWithAttributes( cat_1, Length, BigInt( Length( deduped_21_1 ) ) ), deduped_34_1, AsList, deduped_21_1 );
 end