Merge pull request #8 from kamalsaleh/master

comply with CAP v2024.09-12

Author: kamalsaleh

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" ],

gap/MethodRecord.autogen.gd renamed to gap/MethodRecord.Declarations.autogen.gd

@@ -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
+    )
+);

gap/MethodRecord.Installations.autogen.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"
 );

gap/MethodRecord.gi

@@ -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" );

init.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" );