Merge pull request #612 from mohamed-barakat/ReplacedWithCorrespondin…

…gObjectAndWithGivenOperations
homalg-project · Nov 23, 2024 · 7979d1b · 7979d1b
2 parents 90c27d4 + e02ce26
commit 7979d1b
Show file tree

Hide file tree

Showing 19 changed files with 89 additions and 98 deletions.
diff --git a/CategoriesWithAmbientObjects/PackageInfo.g b/CategoriesWithAmbientObjects/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 
 PackageName := "CategoriesWithAmbientObjects",
 Subtitle := "Categories with objects having ambient objects",
-Version := "2024.06-01",
+Version := "2024.11-01",
 Date := ~.Version{[ 1 .. 10 ]},
 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",
@@ -87,7 +87,6 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
-                   [ "AutoDoc", ">= 2013.12.04" ],
                    [ "ToolsForHomalg", ">= 2015.09.23" ],
                    [ "CAP", ">= 2023.12-11" ],
                    [ "AttributeCategoryForCAP", ">= 2023.08-01" ],

diff --git a/FunctorCategories/PackageInfo.g b/FunctorCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FunctorCategories",
 Subtitle := "Categories of functors",
-Version := "2024.11-04",
+Version := "2024.11-05",
 
 Date := ~.Version{[ 1 .. 10 ]},
 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)( ),
@@ -92,7 +92,7 @@ Dependencies := rec(
                    [ "CAP", ">= 2024.11-01" ],
                    [ "MonoidalCategories", ">= 2024.06-02" ],
                    [ "CartesianCategories", ">= 2024.06-03" ],
-                   [ "ToolsForCategoricalTowers", ">= 2024.11-01" ],
+                   [ "ToolsForCategoricalTowers", ">= 2024.11-03" ],
                    [ "FpCategories", ">= 2024.09-06" ],
                    [ "Algebroids", ">= 2024.09-04" ],
                    [ "FiniteCocompletions", ">= 2024.03-12" ],

diff --git a/FunctorCategories/gap/PreSheaves.gi b/FunctorCategories/gap/PreSheaves.gi
@@ -683,12 +683,9 @@ InstallMethodWithCache( PreSheavesOfFpEnrichedCategory,
 
     list_of_operations_to_install :=
       Concatenation(
-              ListPrimitivelyInstalledOperationsOfCategory( D ),
+              ListPrimitivelyInstalledOperationsOfCategoryWhereMorphismOperationsAreReplacedWithCorrespondingObjectAndWithGivenOperations( D ),
               Intersection( list_of_operations_to_always_install_primitively, ListInstalledOperationsOfCategory( D ) ) );
 
-    list_of_operations_to_install :=
-      Concatenation( List( list_of_operations_to_install, name -> CAP_INTERNAL_CORRESPONDING_WITH_GIVEN_OBJECTS_METHOD( name, list_of_operations_to_install ) ) );
-
     list_of_operations_to_install := Intersection( list_of_operations_to_install, list_of_operations );
 
     if HasIsMonoidalCategory( D ) and IsMonoidalCategory( D ) then

diff --git a/IntrinsicCategories/PackageInfo.g b/IntrinsicCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "IntrinsicCategories",
 Subtitle := "Intrinsic categories for CAP",
-Version := "2024.11-02",
+Version := "2024.11-03",
 Date := ~.Version{[ 1 .. 10 ]},
 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",
@@ -70,7 +70,6 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
-                   [ "AutoDoc", ">= 2016.02.16" ],
                    [ "CAP", ">= 2024.11-01" ],
                    [ "ToolsForHomalg", ">= 2015.09.23" ],
                    [ "ToolsForCategoricalTowers", ">= 2024.03-02" ],

diff --git a/LazyCategories/PackageInfo.g b/LazyCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LazyCategories",
 Subtitle := "Construct an equivalent lazy category out of a CAP category",
-Version := "2024.11-03",
+Version := "2024.11-04",
 Date := ~.Version{[ 1 .. 10 ]},
 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",

diff --git a/LazyCategories/examples/SnakeInAbelian.g b/LazyCategories/examples/SnakeInAbelian.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInAbelian
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "LinearAlgebraForCAP" );
 #! true
@@ -27,6 +25,8 @@ IsZero( a * b * c );
 #! true
 Qmat := MatrixCategory( Q );
 #! Category of matrices over Q
+LoadPackage( "LazyCategories" );
+#! true
 Lazy := LazyCategory( Qmat : show_evaluation := true );
 #! LazyCategory( Category of matrices over Q )
 a := a / Lazy; SetLabel( a, "a" );

diff --git a/LazyCategories/examples/SnakeInAbelianPrimitive.g b/LazyCategories/examples/SnakeInAbelianPrimitive.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInAbelianPrimitive
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "LinearAlgebraForCAP" );
 #! true
@@ -27,6 +25,8 @@ IsZero( a * b * c );
 #! true
 Qmat := MatrixCategory( Q );
 #! Category of matrices over Q
+LoadPackage( "LazyCategories" );
+#! true
 Lazy := LazyCategory( Qmat :
                 show_evaluation := true, primitive_operations := true );
 #! LazyCategory( Category of matrices over Q )

diff --git a/LazyCategories/examples/SnakeInAdditiveClosureOfAlgebroid.g b/LazyCategories/examples/SnakeInAdditiveClosureOfAlgebroid.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInAdditiveClosureOfAlgebroid
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "Algebroids", ">= 2022.05-06" );
 #! true
@@ -21,6 +19,8 @@ LoadPackage( "FreydCategoriesForCAP" );
 A_add := AdditiveClosure( A );
 #! AdditiveClosure( Algebroid( Z, FreeCategory(
 #! RightQuiver( "q(4)[a:1->2,b:2->3,c:3->4]" ) ) ) / relations )
+LoadPackage( "LazyCategories" );
+#! true
 Lazy := LazyCategory( A_add : show_evaluation := true,
                 lazify_range_of_hom_structure := true );
 #! LazyCategory( AdditiveClosure( Algebroid( Z, FreeCategory(

diff --git a/LazyCategories/examples/SnakeInAdditiveClosureOfAlgebroidPrimitive.g b/LazyCategories/examples/SnakeInAdditiveClosureOfAlgebroidPrimitive.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInAdditiveClosureOfAlgebroidPrimitive
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "Algebroids", ">= 2022.05-06" );
 #! true
@@ -21,6 +19,8 @@ LoadPackage( "FreydCategoriesForCAP" );
 A_add := AdditiveClosure( A );
 #! AdditiveClosure( Algebroid( Z, FreeCategory(
 #! RightQuiver( "q(4)[a:1->2,b:2->3,c:3->4]" ) ) ) / relations )
+LoadPackage( "LazyCategories" );
+#! true
 Lazy := LazyCategory( A_add : show_evaluation := true,
                 lazify_range_of_hom_structure := true,
                 primitive_operations := true );

diff --git a/LazyCategories/examples/SnakeInAlgebroid.g b/LazyCategories/examples/SnakeInAlgebroid.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInAlgebroid
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "Algebroids" );
 #! true
@@ -16,6 +14,8 @@ A := PathAlgebra( Q, snake_quiver );
 #! Q * q
 Aoid := Algebroid( A, [ A.abc ] );
 #! Algebroid generated by the right quiver q(4)[a:1->2,b:2->3,c:3->4]
+LoadPackage( "LazyCategories" );
+#! true
 Lazy := LazyCategory( Aoid :
           show_evaluation := true, lazify_range_of_hom_structure := false );
 #! LazyCategory( Algebroid generated by

diff --git a/LazyCategories/examples/SnakeInFreeAbelian.g b/LazyCategories/examples/SnakeInFreeAbelian.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInFreeAbelian
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "Algebroids", ">= 2022.05-06" );
 #! true

diff --git a/LazyCategories/examples/SnakeInFreeAbelianPrimitive.g b/LazyCategories/examples/SnakeInFreeAbelianPrimitive.g
@@ -1,7 +1,5 @@
 #! @Chunk SnakeInFreeAbelianPrimitive
 
-LoadPackage( "LazyCategories" );
-
 #! @Example
 LoadPackage( "Algebroid", ">= 2022.05-02" );
 #! true

diff --git a/LazyCategories/examples/TerminalCategory.g b/LazyCategories/examples/TerminalCategory.g
@@ -1,16 +1,18 @@
 #! @Chunk LazyTerminalCategory
 
-LoadPackage( "LazyCategories" );
-
 # the following packages introduce more CAP operations
 # which are not used below; still they make the example file
 # useful for further testing
-LoadPackage( "Locales", ">= 2022.11-04" );
-LoadPackage( "SubcategoriesForCAP" );
 
 #! @Example
+LoadPackage( "Locales", ">= 2022.11-04" );
+#! true
+LoadPackage( "SubcategoriesForCAP" );
+#! true
 T := TerminalCategoryWithMultipleObjects( );
 #! TerminalCategoryWithMultipleObjects( )
+LoadPackage( "LazyCategories" );
+#! true
 L := LazyCategory( T : primitive_operations := true, optimize := 0 );
 #! LazyCategory( TerminalCategoryWithMultipleObjects( ) )
 a := "a" / T / L;

diff --git a/PreSheaves/PackageInfo.g b/PreSheaves/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "PreSheaves",
 Subtitle := "Categories of (co)presheaves",
-Version := "2024.11-05",
+Version := "2024.11-06",
 Date := ~.Version{[ 1 .. 10 ]},
 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",
@@ -91,7 +91,7 @@ Dependencies := rec(
                    [ "CAP", ">= 2024.11-01" ],
                    [ "MonoidalCategories", ">= 2024.06-02" ],
                    [ "CartesianCategories", ">= 2024.06-03" ],
-                   [ "ToolsForCategoricalTowers", ">= 2024.11-02" ],
+                   [ "ToolsForCategoricalTowers", ">= 2024.11-03" ],
                    ],
   SuggestedOtherPackages := [
                    ],

diff --git a/PreSheaves/gap/PreSheaves.gi b/PreSheaves/gap/PreSheaves.gi
@@ -695,12 +695,9 @@ InstallMethodWithCache( PreSheaves,
 
     list_of_operations_to_install :=
       Concatenation(
-              ListPrimitivelyInstalledOperationsOfCategory( D ),
+              ListPrimitivelyInstalledOperationsOfCategoryWhereMorphismOperationsAreReplacedWithCorrespondingObjectAndWithGivenOperations( D ),
               Intersection( list_of_operations_to_always_install_primitively, ListInstalledOperationsOfCategory( D ) ) );
 
-    list_of_operations_to_install :=
-      Concatenation( List( list_of_operations_to_install, name -> CAP_INTERNAL_CORRESPONDING_WITH_GIVEN_OBJECTS_METHOD( name, list_of_operations_to_install ) ) );
-
     list_of_operations_to_install := Intersection( list_of_operations_to_install, list_of_operations );
 
     skip := [ "MultiplyWithElementOfCommutativeRingForMorphisms",

diff --git a/PreSheaves/gap/PreSheavesWithBounds.gi b/PreSheaves/gap/PreSheavesWithBounds.gi
@@ -108,12 +108,9 @@ InstallMethod( PreSheavesWithBounds,
 
     list_of_operations_to_install :=
       Concatenation(
-              ListPrimitivelyInstalledOperationsOfCategory( D ),
+              ListPrimitivelyInstalledOperationsOfCategoryWhereMorphismOperationsAreReplacedWithCorrespondingObjectAndWithGivenOperations( D ),
               Intersection( list_of_operations_to_always_install_primitively, ListInstalledOperationsOfCategory( D ) ) );
 
-    list_of_operations_to_install :=
-      Concatenation( List( list_of_operations_to_install, name -> CAP_INTERNAL_CORRESPONDING_WITH_GIVEN_OBJECTS_METHOD( name, list_of_operations_to_install ) ) );
-
     list_of_operations_to_install := Intersection( list_of_operations_to_install, list_of_operations );
 
     list_of_operations_to_install := Filtered( list_of_operations_to_install, name -> CAP_INTERNAL_METHOD_NAME_RECORD.(name).return_type <> "bool" );

diff --git a/QuotientCategories/PackageInfo.g b/QuotientCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "QuotientCategories",
 Subtitle := "Quotient categories",
-Version := "2024.11-03",
+Version := "2024.11-05",
 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",
 
@@ -71,7 +71,6 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
-                [ "AutoDoc", ">=2018.02.14" ],
                 [ "MatricesForHomalg", ">= 2023.11-02" ],
                 [ "CAP", ">= 2024.11-01" ],
                 [ "ToolsForCategoricalTowers", ">= 2024.02-03" ]

diff --git a/ToolsForCategoricalTowers/PackageInfo.g b/ToolsForCategoricalTowers/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ToolsForCategoricalTowers",
 Subtitle := "Tools for CategoricalTowers",
-Version := "2024.11-02",
+Version := "2024.11-03",
 
 Date := ~.Version{[ 1 .. 10 ]},
 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)( ),