Merge pull request #206 from mohamed-barakat/prepare1

Second preparation for the "functional" refactoring

Author: zickgraf

doc/Doc.autodoc

@@ -70,11 +70,11 @@
 
 @Chapter The category of skeletal finite sets
 
-@Section Skeletal GAP Categories
-@Section Skeletal Attributes
-@Section Skeletal Constructors
-@Section Skeletal Tools
-@Section Skeletal Examples
+@Section GAP Categories
+@Section Attributes
+@Section Constructors
+@Section Tools
+@Section Examples
 
 @Subsection SkeletalIsHomSetInhabited
 @InsertChunk SkeletalIsHomSetInhabited

…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( );

examples/SkeletalPushoutComplement.g

@@ -17,10 +17,10 @@ K := FinSet( 3 );
 #! |3|
 L := FinSet( 6 );
 #! |6|
-l := MapOfFinSets( K, [ 2, 3, 4 ], L );; IsMonomorphism( l );; l;
+l := MapOfFinSets( K, [ 2 .. 4 ], L );; IsMonomorphism( l );; l;
 #! |3| ↪ |6|
 Display( l );
-#! { 0, 1, 2 } ⱶ[ 2, 3, 4 ]→ { 0,..., 5 }
+#! { 0, 1, 2 } ⱶ[ 2 .. 4 ]→ { 0,..., 5 }
 G := FinSet( 8 );
 #! |8|
 Display( G );

gap/SkeletalFinSets.gd

@@ -6,7 +6,7 @@
 
 #! @Chapter The category of skeletal finite sets
 
-#! @Section Skeletal GAP Categories
+#! @Section GAP Categories
 
 #! @Description
 #! The GAP category of categories
@@ -29,7 +29,7 @@ DeclareCategory( "IsSkeletalFiniteSet",
 DeclareCategory( "IsSkeletalFiniteSetMap",
                  IsCapCategoryMorphism );
 
-#! @Section Skeletal Attributes
+#! @Section Attributes
 
 #! @Description
 #!  The integer defining the skeletal finite set <A>M</A>, i.e.,
@@ -60,7 +60,7 @@ DeclareAttribute( "AsList",
 
 CapJitAddTypeSignature( "AsList", [ IsSkeletalFiniteSetMap ], rec( filter := IsList, element_type := rec( filter := IsBigInt ) ) );
 
-#! @Section Skeletal Constructors
+#! @Section Constructors
 
 #! @Description
 #!  Construct a category of skeletal finite sets.
@@ -100,7 +100,7 @@ DeclareOperation( "MapOfFinSets",
         [ IsSkeletalFiniteSet, IsList, IsSkeletalFiniteSet ] );
 #! @InsertChunk  SkeletalMapOfFinSets
 
-#! @Section Skeletal Tools
+#! @Section Tools
 
 #! @Description
 #!  Returns <C>List( AsList( <A>s</A> ), <A>f</A> )</C>.

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;
 

gap/Tools.gd

@@ -6,7 +6,7 @@
 
 #! @Chapter The category of skeletal finite sets
 
-#! @Section Skeletal Tools
+#! @Section Tools
 
 #! @Description
 #!  Returns $(q^n-1)/(q-1)$ = <C>Sum</C>( [ 0 .. <A>n</A> - 1 ], i -> <A>q</A>^i ),

…/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" );