comply with CAP v2024.09-12

homalg-project · Sep 14, 2024 · 1a60436 · 1a60436
1 parent 5f776d0
commit 1a60436
Show file tree

Hide file tree

Showing 6 changed files with 87 additions and 5 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "MachineLearningForCAP",
 Subtitle := "Exploring categorical machine learning in CAP",
-Version := "2024.07-20",
+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 @@ Dependencies := rec(
   GAP := ">= 4.13.0",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2023.12-05" ],
+                   [ "CAP", ">= 2024.09-12" ],
                    [ "MonoidalCategories", ">= 2024.04-01" ],
                    [ "CartesianCategories", ">= 2024.04-01" ],
                    [ "ToolsForCategoricalTowers", ">= 2024.06-02" ],

diff --git a/gap/MethodRecord.autogen.gd → gap/MethodRecord.Declarations.autogen.gd b/gap/MethodRecord.autogen.gd → gap/MethodRecord.Declarations.autogen.gd
diff --git a/gap/MethodRecord.Installations.autogen.gi b/gap/MethodRecord.Installations.autogen.gi
@@ -0,0 +1,81 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+# MachineLearningForCAP: Exploring categorical machine learning in CAP
+#
+# Implementations
+#
+# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecordTools.gi
+
+## MultiplicationForMorphisms
+InstallMethod( AddMultiplicationForMorphisms,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "MultiplicationForMorphisms", category, func, -1 );
+
+end );
+
+InstallMethod( AddMultiplicationForMorphisms,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "MultiplicationForMorphisms", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
+
+## ReverseDifferential
+InstallMethod( AddReverseDifferential,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "ReverseDifferential", category, func, -1 );
+
+end );
+
+InstallMethod( AddReverseDifferential,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "ReverseDifferential", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
+
+## ReverseDifferentialWithGivenObjects
+InstallMethod( AddReverseDifferentialWithGivenObjects,
+               [ IsCapCategory, IsFunction ],
+
+  function( category, func )
+
+    AddCapOperation( "ReverseDifferentialWithGivenObjects", category, func, -1 );
+
+end );
+
+InstallMethod( AddReverseDifferentialWithGivenObjects,
+               [ IsCapCategory, IsFunction, IsInt ],
+
+    FunctionWithNamedArguments(
+        [
+            [ "IsPrecompiledDerivation", false ],
+        ],
+        function( CAP_NAMED_ARGUMENTS, category, func, weight )
+
+            AddCapOperation( "ReverseDifferentialWithGivenObjects", category, func, weight : IsPrecompiledDerivation := CAP_NAMED_ARGUMENTS.IsPrecompiledDerivation );
+
+        end
+    )
+);
diff --git a/gap/MethodRecord.gi b/gap/MethodRecord.gi
@@ -63,10 +63,10 @@ MultiplicationForMorphisms := rec(
 
 CAP_INTERNAL_ENHANCE_NAME_RECORD( CRDC_INTERNAL_METHOD_NAME_RECORD );
 
-CAP_INTERNAL_GENERATE_DOCUMENTATION_FROM_METHOD_NAME_RECORD(
+CAP_INTERNAL_GENERATE_DECLARATIONS_AND_INSTALLATIONS_FROM_METHOD_NAME_RECORD(
     CRDC_INTERNAL_METHOD_NAME_RECORD,
     "MachineLearningForCAP",
-    "MethodRecord.autogen.gd",
+    "MethodRecord.",
     "operations for machine learning in CAP",
     "Add-methods"
 );

diff --git a/init.g b/init.g
@@ -7,7 +7,7 @@
 ReadPackage( "MachineLearningForCAP", "gap/Tools.gd" );
 ReadPackage( "MachineLearningForCAP", "gap/Expressions.gd" );
 ReadPackage( "MachineLearningForCAP", "gap/MethodRecord.gd" );
-ReadPackage( "MachineLearningForCAP", "gap/MethodRecord.autogen.gd" );
+ReadPackage( "MachineLearningForCAP", "gap/MethodRecord.Declarations.autogen.gd" );
 ReadPackage( "MachineLearningForCAP", "gap/CategoryOfSkeletalSmoothMaps.gd" );
 ReadPackage( "MachineLearningForCAP", "gap/CategoryOfParametrisedMorphisms.gd" );
 ReadPackage( "MachineLearningForCAP", "gap/CategoryOfLenses.gd" );

diff --git a/read.g b/read.g
@@ -7,6 +7,7 @@
 ReadPackage( "MachineLearningForCAP", "gap/Tools.gi");
 ReadPackage( "MachineLearningForCAP", "gap/Expressions.gi");
 ReadPackage( "MachineLearningForCAP", "gap/MethodRecord.gi");
+ReadPackage( "MachineLearningForCAP", "gap/MethodRecord.Installations.autogen.gi");
 ReadPackage( "MachineLearningForCAP", "gap/CategoryOfSkeletalSmoothMaps.gi");
 ReadPackage( "MachineLearningForCAP", "gap/CategoryOfParametrisedMorphisms.gi" );
 ReadPackage( "MachineLearningForCAP", "gap/CategoryOfLenses.gi" );