Compile closed tensor structure

in ModulePresentationsForCAP
homalg-project · Feb 27, 2023 · c1a8a9a · c1a8a9a
1 parent 7ed58e2
commit c1a8a9a
Show file tree

Hide file tree

Showing 10 changed files with 2,234 additions and 1,095 deletions.
diff --git a/...erForCAP/examples/PrecompileModulePresentationsAsFreydCategoryOfCategoryOfRowsOrColumns.g b/...erForCAP/examples/PrecompileModulePresentationsAsFreydCategoryOfCategoryOfRowsOrColumns.g
@@ -45,25 +45,25 @@ operations_for_arbitrary_ring := [
 
 operations_for_commutative_ring := Concatenation(
     operations_for_arbitrary_ring,
-    [ #"AssociatorLeftToRightWithGivenTensorProducts",
-      #"AssociatorRightToLeftWithGivenTensorProducts",
-      #"BraidingWithGivenTensorProducts",
-      #"CoevaluationMorphismWithGivenRange",
+    [ "AssociatorLeftToRightWithGivenTensorProducts",
+      "AssociatorRightToLeftWithGivenTensorProducts",
+      "BraidingWithGivenTensorProducts",
+      "CoevaluationMorphismWithGivenRange",
       #"Colift",
       #"ColiftOrFail",
-      #"EvaluationMorphismWithGivenSource",
-      #"InternalHomOnMorphismsWithGivenInternalHoms",
-      #"InternalHomOnObjects",
+      "EvaluationMorphismWithGivenSource",
+      "InternalHomOnMorphismsWithGivenInternalHoms",
+      "InternalHomOnObjects",
       #"IsColiftable",
       #"IsLiftable",
-      #"LeftUnitorWithGivenTensorProduct",
+      "LeftUnitorWithGivenTensorProduct",
       #"Lift",
       #"LiftOrFail",
       "MultiplyWithElementOfCommutativeRingForMorphisms",
-      #"RightUnitorWithGivenTensorProduct",
-      #"TensorProductOnMorphismsWithGivenTensorProducts",
-      #"TensorProductOnObjects",
-      #"TensorUnit",
+      "RightUnitorWithGivenTensorProduct",
+      "TensorProductOnMorphismsWithGivenTensorProducts",
+      "TensorProductOnObjects",
+      "TensorUnit",
     ]
 );;
 

diff --git a/CompilerForCAP/gap/InferDataTypes.gi b/CompilerForCAP/gap/InferDataTypes.gi
@@ -1492,10 +1492,18 @@ CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "CertainRows", [ "IsHomalgM
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "CertainColumns", [ "IsHomalgMatrix", "IsList" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "KroneckerMat", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "DualKroneckerMat", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
-CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "SafeRightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "LeftDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "LeftDivide", [ "IsHomalgMatrix", "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "SafeLeftDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
-CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "UniqueRightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "UniqueLeftDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "RightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "RightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "SafeRightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "UniqueRightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "BasisOfRowModule", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "BasisOfColumnModule", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "ReducedBasisOfRowModule", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "ReducedBasisOfColumnModule", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "BasisOfRows", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "BasisOfColumns", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "SyzygiesOfRows", [ "IsHomalgMatrix" ], "IsHomalgMatrix" );

diff --git a/FreydCategoriesForCAP/gap/FreydCategory.gd b/FreydCategoriesForCAP/gap/FreydCategory.gd
@@ -275,7 +275,7 @@ DeclareGlobalFunction( "IsValidInputForFreydCategory" );
 #! into $\mathrm{\underline{Hom}}(A, b)$ is the internal Hom-embedding. This method returns this very map.
 #! @Returns a (mono)morphism
 #! @Arguments cat, a, b
-DeclareOperationWithCache( "INTERNAL_HOM_EMBEDDING",
+DeclareOperation( "INTERNAL_HOM_EMBEDDING",
                            [ IsFreydCategory, IsFreydCategoryObject, IsFreydCategoryObject ] );
 
 

diff --git a/FreydCategoriesForCAP/gap/FreydCategory.gi b/FreydCategoriesForCAP/gap/FreydCategory.gi
@@ -310,7 +310,7 @@ InstallOtherMethodForCompilerForCAP( MereExistenceOfWitnessForBeingCongruentToZe
 
 end );
 
-InstallMethodWithCacheFromObject( INTERNAL_HOM_EMBEDDING,
+InstallMethodForCompilerForCAP( INTERNAL_HOM_EMBEDDING,
                                   [ IsFreydCategory, IsFreydCategoryObject, IsFreydCategoryObject ],
     function( cat, a, b )
       local source, range, mor;