comply with CAP 2024.09-08

Author: kamalsaleh

gap/MethodRecord.autogen.gd

@@ -3,65 +3,65 @@
 #
 # Declarations
 #
-# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecord.gi
+# THIS FILE IS AUTOMATICALLY GENERATED, SEE CAP_project/CAP/gap/MethodRecordTools.gi
 
 #! @Chapter operations for machine learning in CAP
 
 #! @Section Add-methods
 
+#! @BeginGroup
 #! @Description
 #! The arguments are a category $C$ and a function $F$.
 #! This operation adds the given function $F$
 #! to the category for the basic operation `MultiplicationForMorphisms`.
+#! Optionally, a weight (default: 100) can be specified which should roughly correspond
+#! to the computational complexity of the function (lower weight = less complex = faster execution).
 #! $F: ( alpha, beta ) \mapsto \mathtt{MultiplicationForMorphisms}(alpha, beta)$.
 #! @Returns nothing
 #! @Arguments C, F
 DeclareOperation( "AddMultiplicationForMorphisms",
                   [ IsCapCategory, IsFunction ] );
 
+#! @Arguments C, F, weight
 DeclareOperation( "AddMultiplicationForMorphisms",
                   [ IsCapCategory, IsFunction, IsInt ] );
+#! @EndGroup
 
-DeclareOperation( "AddMultiplicationForMorphisms",
-                  [ IsCapCategory, IsList, IsInt ] );
-
-DeclareOperation( "AddMultiplicationForMorphisms",
-                  [ IsCapCategory, IsList ] );
 
+#! @BeginGroup
 #! @Description
 #! The arguments are a category $C$ and a function $F$.
 #! This operation adds the given function $F$
 #! to the category for the basic operation `ReverseDifferential`.
+#! Optionally, a weight (default: 100) can be specified which should roughly correspond
+#! to the computational complexity of the function (lower weight = less complex = faster execution).
 #! $F: ( alpha ) \mapsto \mathtt{ReverseDifferential}(alpha)$.
 #! @Returns nothing
 #! @Arguments C, F
 DeclareOperation( "AddReverseDifferential",
                   [ IsCapCategory, IsFunction ] );
 
+#! @Arguments C, F, weight
 DeclareOperation( "AddReverseDifferential",
                   [ IsCapCategory, IsFunction, IsInt ] );
+#! @EndGroup
 
-DeclareOperation( "AddReverseDifferential",
-                  [ IsCapCategory, IsList, IsInt ] );
-
-DeclareOperation( "AddReverseDifferential",
-                  [ IsCapCategory, IsList ] );
 
+#! @BeginGroup
 #! @Description
 #! The arguments are a category $C$ and a function $F$.
 #! This operation adds the given function $F$
 #! to the category for the basic operation `ReverseDifferentialWithGivenObjects`.
+#! Optionally, a weight (default: 100) can be specified which should roughly correspond
+#! to the computational complexity of the function (lower weight = less complex = faster execution).
 #! $F: ( source, alpha, range ) \mapsto \mathtt{ReverseDifferentialWithGivenObjects}(source, alpha, range)$.
 #! @Returns nothing
 #! @Arguments C, F
 DeclareOperation( "AddReverseDifferentialWithGivenObjects",
                   [ IsCapCategory, IsFunction ] );
 
+#! @Arguments C, F, weight
 DeclareOperation( "AddReverseDifferentialWithGivenObjects",
                   [ IsCapCategory, IsFunction, IsInt ] );
+#! @EndGroup
 
-DeclareOperation( "AddReverseDifferentialWithGivenObjects",
-                  [ IsCapCategory, IsList, IsInt ] );
-
-DeclareOperation( "AddReverseDifferentialWithGivenObjects",
-                  [ IsCapCategory, IsList ] );