renamed files by adding the suffix WithMorphismsGivenByList

Author: mohamed-barakat

…es/PrecompileCategoryOfSkeletalFinSets.g …eletalFinSetsWithMorphismsGivenByLists.gexamples/PrecompileCategoryOfSkeletalFinSets.g renamed to examples/PrecompileCategoryOfSkeletalFinSetsWithMorphismsGivenByLists.g examples/PrecompileCategoryOfSkeletalFinSets.g renamed to examples/PrecompileCategoryOfSkeletalFinSetsWithMorphismsGivenByLists.g

@@ -16,7 +16,8 @@ ReadPackage( "FinSetsForCAP", "gap/CompilerLogic.gi" );
 
 category_constructor := {} -> CategoryOfSkeletalFinSets( );;
 given_arguments := [ ];;
-compiled_category_name := "CategoryOfSkeletalFinSetsPrecompiled";;
+compiled_category_name :=
+  "CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled";;
 package_name := "FinSetsForCAP";;
 primitive_operations :=
   ListPrimitivelyInstalledOperationsOfCategory(
@@ -39,7 +40,7 @@ CapJitPrecompileCategoryAndCompareResult(
         number_of_objectified_morphisms_in_data_structure_of_morphism := 1
 );;
 
-CategoryOfSkeletalFinSetsPrecompiled( );
+CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled( );
 #! SkeletalFinSets
 
 cat := CategoryOfSkeletalFinSets( );

gap/SkeletalFinSets.gi

@@ -40,7 +40,7 @@ InstallMethod( CategoryOfSkeletalFinSets,
 
     if ValueOption( "no_precompiled_code" ) <> true then
 
-        ADD_FUNCTIONS_FOR_CategoryOfSkeletalFinSetsPrecompiled( cat );
+        ADD_FUNCTIONS_FOR_CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled( cat );
 
     fi;
 

…/CategoryOfSkeletalFinSetsPrecompiled.gi …sWithMorphismsGivenByListsPrecompiled.gigap/precompiled_categories/CategoryOfSkeletalFinSetsPrecompiled.gi renamed to gap/precompiled_categories/CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled.gi gap/precompiled_categories/CategoryOfSkeletalFinSetsPrecompiled.gi renamed to gap/precompiled_categories/CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled.gi

@@ -3,7 +3,7 @@
 #
 # Implementations
 #
-BindGlobal( "ADD_FUNCTIONS_FOR_CategoryOfSkeletalFinSetsPrecompiled", function ( cat )
+BindGlobal( "ADD_FUNCTIONS_FOR_CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled", function ( cat )
 
     ##
     AddCartesianBraidingInverseWithGivenDirectProducts( cat,
@@ -959,7 +959,7 @@ end
 
 end );
 
-BindGlobal( "CategoryOfSkeletalFinSetsPrecompiled", function (  )
+BindGlobal( "CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled", function (  )
   local category_constructor, cat;
 
     category_constructor :=
@@ -973,7 +973,7 @@ end;
 
     cat := category_constructor(  : FinalizeCategory := false, no_precompiled_code := true );
 
-    ADD_FUNCTIONS_FOR_CategoryOfSkeletalFinSetsPrecompiled( cat );
+    ADD_FUNCTIONS_FOR_CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled( cat );
 
     Finalize( cat );
 

read.g

@@ -6,7 +6,7 @@
 
 ReadPackage( "FinSetsForCAP", "gap/Tools.gi" );
 
-ReadPackage( "FinSetsForCAP", "gap/precompiled_categories/CategoryOfSkeletalFinSetsPrecompiled.gi" );
+ReadPackage( "FinSetsForCAP", "gap/precompiled_categories/CategoryOfSkeletalFinSetsWithMorphismsGivenByListsPrecompiled.gi" );
 
 ReadPackage( "FinSetsForCAP", "gap/FinSets.gi" );