Adjust to CAP 2024.09-12

FpCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FpCategories",
 Subtitle := "Finitely presented categories by generating quivers and relations",
-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",
 
@@ -85,7 +85,7 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2024.09-08" ],
+                   [ "CAP", ">= 2024.09-12" ],
                    [ "ToolsForCategoricalTowers", ">= 2024.03-02" ],
                    [ "QuotientCategories", ">= 2024.02-01" ],
                    [ "FinSetsForCAP", ">= 2023.10-03" ],

FpCategories/gap/ToolsMethodRecord.gi

@@ -16,10 +16,10 @@ SetOfGeneratingMorphismsOfCategory := rec(
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( FP_CATEGORIES_METHOD_NAME_RECORD );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     FP_CATEGORIES_METHOD_NAME_RECORD,
     "FpCategories",
-    "Tools.autogen.gd",
+    "ToolsMethodRecord",
     "Futher CAP operations",
     "Add-methods"
 );

FpCategories/gap/ToolsMethodRecordInstallations.autogen.gi

@@ -0,0 +1,31 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# FpCategories: Finitely presented categories by generating quivers and relations
+#
+# Implementations
+#
+# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecordTools.gi
+
+## SetOfGeneratingMorphismsOfCategory
+InstallMethod( AddSetOfGeneratingMorphismsOfCategory,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "SetOfGeneratingMorphismsOfCategory", category, func, -1 );
+
+end );
+
+InstallMethod( AddSetOfGeneratingMorphismsOfCategory,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "SetOfGeneratingMorphismsOfCategory", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);

FpCategories/init.g

@@ -9,4 +9,4 @@ ReadPackage( "FpCategories", "gap/PathCategories.gd");
 ReadPackage( "FpCategories", "gap/GroebnerBasesForPathCategories.gd");
 ReadPackage( "FpCategories", "gap/QuotientsOfPathCategories.gd");
 ReadPackage( "FpCategories", "gap/Tools.gd");
-ReadPackage( "FpCategories", "gap/Tools.autogen.gd");
+ReadPackage( "FpCategories", "gap/ToolsMethodRecordDeclarations.autogen.gd");

FpCategories/read.g

@@ -10,4 +10,5 @@ ReadPackage( "FpCategories", "gap/GroebnerBasesForPathCategories.gi");
 ReadPackage( "FpCategories", "gap/QuotientsOfPathCategories.gi");
 ReadPackage( "FpCategories", "gap/Tools.gi");
 ReadPackage( "FpCategories", "gap/ToolsMethodRecord.gi");
+ReadPackage( "FpCategories", "gap/ToolsMethodRecordInstallations.autogen.gi");
 ReadPackage( "FpCategories", "gap/ToolsDerivedMethods.gi");

FunctorCategories/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "FunctorCategories",
 Subtitle := "Categories of functors",
-Version := "2024.09-05",
+Version := "2024.09-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)( ),
@@ -89,7 +89,7 @@ Dependencies := rec(
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
                    [ "ToolsForHomalg", ">= 2022.12-01" ],
-                   [ "CAP", ">= 2024.09-08" ],
+                   [ "CAP", ">= 2024.09-12" ],
                    [ "MonoidalCategories", ">= 2024.06-02" ],
                    [ "CartesianCategories", ">= 2024.06-03" ],
                    [ "ToolsForCategoricalTowers", ">= 2024.03-02" ],

FunctorCategories/gap/ToolsMethodRecord.gi

@@ -16,10 +16,10 @@ IsReflexive := rec(
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( FUNCTOR_CATEGORIES_METHOD_NAME_RECORD );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     FUNCTOR_CATEGORIES_METHOD_NAME_RECORD,
     "FunctorCategories",
-    "Tools.autogen.gd",
+    "ToolsMethodRecord",
     "Futher CAP operations",
     "Add-methods"
 );

FunctorCategories/gap/ToolsMethodRecordInstallations.autogen.gi

@@ -0,0 +1,31 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# FunctorCategories: Categories of functors
+#
+# Implementations
+#
+# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecordTools.gi
+
+## IsReflexive
+InstallMethod( AddIsReflexive,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "IsReflexive", category, func, -1 );
+
+end );
+
+InstallMethod( AddIsReflexive,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "IsReflexive", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);

FunctorCategories/init.g

@@ -21,4 +21,4 @@ ReadPackage( "FunctorCategories", "gap/DirectSumDecomposition.gd");
 ReadPackage( "FunctorCategories", "gap/HomologicalMethods.gd");
 ReadPackage( "FunctorCategories", "gap/QuotientsOfAlgebroidsFromDataTablesUsingPreSheaves.gd");
 ReadPackage( "FunctorCategories", "gap/Tools.gd");
-ReadPackage( "FunctorCategories", "gap/Tools.autogen.gd");
+ReadPackage( "FunctorCategories", "gap/ToolsMethodRecordDeclarations.autogen.gd");

FunctorCategories/read.g

@@ -20,6 +20,7 @@ ReadPackage( "FunctorCategories", "gap/precompiled_categories/PreSheavesOfAlgebr
 
 ReadPackage( "FunctorCategories", "gap/Tools.gi");
 ReadPackage( "FunctorCategories", "gap/ToolsMethodRecord.gi");
+ReadPackage( "FunctorCategories", "gap/ToolsMethodRecordInstallations.autogen.gi");
 ReadPackage( "FunctorCategories", "gap/ToolsDerivedMethods.gi");
 
 ReadPackage( "FunctorCategories", "gap/PreSheaves.gi");

Locales/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "Locales",
 Subtitle := "Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets",
-Version := "2024.09-06",
+Version := "2024.09-07",
 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",
@@ -102,7 +102,7 @@ Dependencies := rec(
   NeededOtherPackages := [
                 [ "GAPDoc", ">= 1.5" ],
                 [ "ToolsForHomalg", ">= 2021.12-02" ],
-                [ "CAP", ">= 2024.09-08" ],
+                [ "CAP", ">= 2024.09-12" ],
                 [ "CompilerForCAP", ">= 2022.08-10" ],
                 [ "MonoidalCategories", ">= 2024.02-02" ],
                 [ "CartesianCategories", ">= 2024.02-02" ],

Locales/gap/BooleanAlgebraMethodRecord.gi

@@ -55,10 +55,10 @@ MorphismToDoubleConegationWithGivenDoubleConegation := rec(
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( BOOLEAN_ALGEBRA_METHOD_NAME_RECORD );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     BOOLEAN_ALGEBRA_METHOD_NAME_RECORD,
     "Locales",
-    "BooleanAlgebra.autogen.gd",
+    "BooleanAlgebraMethodRecord",
     "Boolean algebras",
     "Add-methods"
 );

Locales/gap/BooleanAlgebraMethodRecordInstallations.autogen.gi

@@ -0,0 +1,152 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# Locales: Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
+#
+# Implementations
+#
+# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecordTools.gi
+
+## MorphismFromDoubleNegation
+InstallMethod( AddMorphismFromDoubleNegation,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "MorphismFromDoubleNegation", category, func, -1 );
+
+end );
+
+InstallMethod( AddMorphismFromDoubleNegation,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "MorphismFromDoubleNegation", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
+
+## MorphismFromDoubleNegationWithGivenDoubleNegation
+InstallMethod( AddMorphismFromDoubleNegationWithGivenDoubleNegation,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "MorphismFromDoubleNegationWithGivenDoubleNegation", category, func, -1 );
+
+end );
+
+InstallMethod( AddMorphismFromDoubleNegationWithGivenDoubleNegation,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "MorphismFromDoubleNegationWithGivenDoubleNegation", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
+
+AddDerivationToCAP( MorphismFromDoubleNegationWithGivenDoubleNegation,
+                    "MorphismFromDoubleNegationWithGivenDoubleNegation by calling MorphismFromDoubleNegation with the WithGiven argument(s) dropped",
+                    [
+                        [ MorphismFromDoubleNegation, 1 ],
+                    ],
+  function( cat, a, s )
+
+    return MorphismFromDoubleNegation( cat, a );
+
+end : is_with_given_derivation := true );
+
+AddDerivationToCAP( MorphismFromDoubleNegation,
+                    "MorphismFromDoubleNegation by calling MorphismFromDoubleNegationWithGivenDoubleNegation with the WithGiven object(s)",
+                    [
+                        [ MorphismFromDoubleNegationWithGivenDoubleNegation, 1 ],
+                        [ NegationOnObjects, 2 ],
+                    ],
+  function( cat, a )
+
+    return MorphismFromDoubleNegationWithGivenDoubleNegation( cat, a, NegationOnObjects( cat, NegationOnObjects( cat, a ) ) );
+
+end : is_with_given_derivation := true );
+
+## MorphismToDoubleConegation
+InstallMethod( AddMorphismToDoubleConegation,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "MorphismToDoubleConegation", category, func, -1 );
+
+end );
+
+InstallMethod( AddMorphismToDoubleConegation,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "MorphismToDoubleConegation", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
+
+## MorphismToDoubleConegationWithGivenDoubleConegation
+InstallMethod( AddMorphismToDoubleConegationWithGivenDoubleConegation,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "MorphismToDoubleConegationWithGivenDoubleConegation", category, func, -1 );
+
+end );
+
+InstallMethod( AddMorphismToDoubleConegationWithGivenDoubleConegation,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "MorphismToDoubleConegationWithGivenDoubleConegation", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
+
+AddDerivationToCAP( MorphismToDoubleConegationWithGivenDoubleConegation,
+                    "MorphismToDoubleConegationWithGivenDoubleConegation by calling MorphismToDoubleConegation with the WithGiven argument(s) dropped",
+                    [
+                        [ MorphismToDoubleConegation, 1 ],
+                    ],
+  function( cat, a, r )
+
+    return MorphismToDoubleConegation( cat, a );
+
+end : is_with_given_derivation := true );
+
+AddDerivationToCAP( MorphismToDoubleConegation,
+                    "MorphismToDoubleConegation by calling MorphismToDoubleConegationWithGivenDoubleConegation with the WithGiven object(s)",
+                    [
+                        [ MorphismToDoubleConegationWithGivenDoubleConegation, 1 ],
+                        [ ConegationOnObjects, 2 ],
+                    ],
+  function( cat, a )
+
+    return MorphismToDoubleConegationWithGivenDoubleConegation( cat, a, ConegationOnObjects( cat, ConegationOnObjects( cat, a ) ) );
+
+end : is_with_given_derivation := true );

Locales/gap/CoHeytingAlgebraMethodRecord.gi

@@ -72,18 +72,18 @@ end );
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( HEYTING_ALGEBRA_AND_COHEYTING_ALGEBRA_METHOD_NAME_RECORD );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     HEYTING_ALGEBRA_METHOD_NAME_RECORD,
     "Locales",
-    "HeytingAlgebra.autogen.gd",
+    "HeytingAlgebraMethodRecord",
     "Heyting algebras",
     "Add-methods"
 );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     COHEYTING_ALGEBRA_METHOD_NAME_RECORD,
     "Locales",
-    "CoHeytingAlgebra.autogen.gd",
+    "CoHeytingAlgebraMethodRecord",
     "Co-Heyting algebras",
     "Add-methods"
 );