Merge pull request #190 from zickgraf/master

Adjust to CAP 2024.09-12
homalg-project · Sep 13, 2024 · 1e78848 · 1e78848
2 parents 6293fec + 1ca79ac
commit 1e78848
Show file tree

Hide file tree

Showing 9 changed files with 906 additions and 7 deletions.
diff --git a/StableCategories/PackageInfo.g b/StableCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "StableCategories",
 Subtitle := "Stable categories of additive categories",
-Version := "2023.03-01",
+Version := "2024.09-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",
 
@@ -70,7 +70,7 @@ PackageDoc := rec(
 
 Dependencies := rec(
   GAP := ">= 4.12.1",
-  NeededOtherPackages := [ [ "CAP", ">= 2022.10-09" ],
+  NeededOtherPackages := [ [ "CAP", ">= 2024.09-12" ],
                            [ "GAPDoc", ">= 1.5" ],
                            [ "TriangulatedCategories", ">= 2021.11-01" ],
                            [ "QuotientCategories", ">= 2020.07.05" ],

diff --git a/StableCategories/gap/FrobeniusCategories.gi b/StableCategories/gap/FrobeniusCategories.gi
@@ -238,6 +238,16 @@ return_type := "morphism" )
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( FROBENIUS_CATEGORIES_METHOD_NAME_RECORD );
 
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
+    FROBENIUS_CATEGORIES_METHOD_NAME_RECORD,
+    "StableCategories",
+    "FrobeniusCategories",
+    "operations for Frobenius categories",
+    "Add-methods"
+);
+
+CAP_INTERNAL_REGISTER_METHOD_NAME_RECORD_OF_PACKAGE( FROBENIUS_CATEGORIES_METHOD_NAME_RECORD, "StableCategories" );
+
 CAP_INTERNAL_INSTALL_ADDS_FROM_RECORD( FROBENIUS_CATEGORIES_METHOD_NAME_RECORD );
 
 ########################################

diff --git a/StableCategories/gap/StableCategories.gi b/StableCategories/gap/StableCategories.gi
@@ -127,6 +127,16 @@ WitnessForBeingColiftableAlongMorphismToColiftingObject := rec(
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( STABLE_CATEGORIES_METHOD_NAME_RECORD );
 
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
+    STABLE_CATEGORIES_METHOD_NAME_RECORD,
+    "StableCategories",
+    "StableCategories",
+    "operations for stable categories",
+    "Add-methods"
+);
+
+CAP_INTERNAL_REGISTER_METHOD_NAME_RECORD_OF_PACKAGE( STABLE_CATEGORIES_METHOD_NAME_RECORD, "StableCategories" );
+
 CAP_INTERNAL_INSTALL_ADDS_FROM_RECORD( STABLE_CATEGORIES_METHOD_NAME_RECORD );
 
 ########################

diff --git a/TriangulatedCategories/PackageInfo.g b/TriangulatedCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "TriangulatedCategories",
 Subtitle := "Framework for triangulated categories",
-Version := "2024.09-02",
+Version := "2024.09-03",
 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,7 @@ PackageDoc := rec(
 
 Dependencies := rec(
   GAP := ">= 4.12.1",
-  NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], [ "CAP", ">= 2022.10-09" ] ],
+  NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], [ "CAP", ">= 2024.09-12" ] ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
 ),

diff --git a/TriangulatedCategories/gap/MethodRecord.gi b/TriangulatedCategories/gap/MethodRecord.gi
@@ -263,10 +263,10 @@ InverseShiftFactoringIsomorphismWithGivenObjects := rec(
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( TRIANGULATED_CATEGORIES_METHOD_NAME_RECORD );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     TRIANGULATED_CATEGORIES_METHOD_NAME_RECORD,
     "TriangulatedCategories",
-    "MethodRecord.autogen.gd",
+    "MethodRecord",
     "operations for triangulated categories",
     "Add-methods"
 );

diff --git a/...tedCategories/gap/MethodRecord.autogen.gd → ...s/gap/MethodRecordDeclarations.autogen.gd b/...tedCategories/gap/MethodRecord.autogen.gd → ...s/gap/MethodRecordDeclarations.autogen.gd