Generate dual derivations automatically

homalg-project · Sep 26, 2023 · c8f27fb · c8f27fb
1 parent 95f09b4
commit c8f27fb
Show file tree

Hide file tree

Showing 20 changed files with 2,288 additions and 1,578 deletions.
diff --git a/CAP/PackageInfo.g b/CAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CAP",
 Subtitle := "Categories, Algorithms, Programming",
-Version := "2023.09-09",
+Version := "2023.09-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",
 

diff --git a/CAP/gap/CAP.gi b/CAP/gap/CAP.gi
@@ -243,7 +243,16 @@ InstallGlobalFunction( "CreateCapCategoryWithDataTypes",
 
     obj!.is_computable := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "is_computable", true );
 
-    obj!.derivations_weight_list := MakeOperationWeightList( obj, CAP_INTERNAL_DERIVATION_GRAPH );
+    if ValueOption( "disable_derivations" ) = true then
+
+        # use an empty derivation graph
+        obj!.derivations_weight_list := MakeOperationWeightList( obj, MakeDerivationGraph( Operations( CAP_INTERNAL_DERIVATION_GRAPH ) ) );
+
+    else
+
+        obj!.derivations_weight_list := MakeOperationWeightList( obj, CAP_INTERNAL_DERIVATION_GRAPH );
+
+    fi;
 
     obj!.caches := rec( );
 

diff --git a/CAP/gap/Derivations.gi b/CAP/gap/Derivations.gi
@@ -33,7 +33,7 @@ InstallMethod( MakeDerivation,
                [ IsString, IsFunction, IsDenseList, IsPosInt, IsFunction, IsFunction ],
 
 function( name, target_op, used_op_names_with_multiples_and_category_getters, weight, func, category_filter )
-  local wrapped_category_filter;
+  local wrapped_category_filter, derivation;
 
     #= comment for Julia
     if PositionSublist( String( category_filter ), "CanCompute" ) <> fail then
@@ -70,7 +70,7 @@ function( name, target_op, used_op_names_with_multiples_and_category_getters, we
 
     fi;
 
-    return ObjectifyWithAttributes(
+    derivation := ObjectifyWithAttributes(
         rec( ), TheTypeOfDerivedMethods,
         DerivationName, name,
         DerivationWeight, weight,
@@ -80,6 +80,17 @@ function( name, target_op, used_op_names_with_multiples_and_category_getters, we
         UsedOperationsWithMultiplesAndCategoryGetters, used_op_names_with_multiples_and_category_getters
     );
 
+    derivation!.is_with_given_derivation := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "is_with_given_derivation", false );
+    derivation!.is_autogenerated_by_CompilerForCAP := CAP_INTERNAL_RETURN_OPTION_OR_DEFAULT( "is_autogenerated_by_CompilerForCAP", false );
+
+    if derivation!.is_with_given_derivation and derivation!.is_autogenerated_by_CompilerForCAP then
+
+        Error( "WithGiven derivations should not be marked as being autogenerated by CompilerForCAP" );
+
+    fi;
+
+    return derivation;
+
 end );
 
 InstallMethod( String,

diff --git a/CAP/gap/DerivedMethods.autogen.gi b/CAP/gap/DerivedMethods.autogen.gi