Compile closed tensor structure

in ModulePresentationsForCAP
homalg-project · Dec 18, 2022 · 1788a93 · 1788a93
1 parent 09eaba2
commit 1788a93
Show file tree

Hide file tree

Showing 12 changed files with 2,477 additions and 1,076 deletions.
diff --git a/...erForCAP/examples/PrecompileModulePresentationsAsFreydCategoryOfCategoryOfRowsOrColumns.g b/...erForCAP/examples/PrecompileModulePresentationsAsFreydCategoryOfCategoryOfRowsOrColumns.g
@@ -19,52 +19,52 @@ EEE := KoszulDualRing( QQxy * "a,b" );;
 operations_for_arbitrary_ring := [
     "AdditionForMorphisms",
     "AdditiveInverseForMorphisms",
-    #"AssociatorLeftToRightWithGivenTensorProducts",
-    #"AssociatorRightToLeftWithGivenTensorProducts",
-    #"BraidingWithGivenTensorProducts",
-    #"CoevaluationMorphismWithGivenRange",
     "CokernelColiftWithGivenCokernelObject",
     "CokernelProjection",
-    #"Colift",
-    #"ColiftOrFail",
     "DirectSum",
     "EpimorphismFromSomeProjectiveObject",
-    #"EvaluationMorphismWithGivenSource",
     "IdentityMorphism",
     "InjectionOfCofactorOfDirectSumWithGivenDirectSum",
-    #"InternalHomOnMorphismsWithGivenInternalHoms",
-    #"InternalHomOnObjects",
-    #"IsColiftable",
     "IsCongruentForMorphisms",
     "IsEqualForMorphisms",
-    #"IsEqualForObjects",
-    #"IsLiftable",
+    "IsEqualForObjects",
     #"IsWellDefinedForMorphisms",
     #"IsWellDefinedForObjects",
     "IsZeroForMorphisms",
-    #"KernelEmbedding",
-    #"LeftUnitorWithGivenTensorProduct",
-    #"Lift",
-    #"LiftAlongMonomorphism",
-    #"LiftOrFail",
-    #"MultiplyWithElementOfCommutativeRingForMorphisms",
-    #"PreCompose",
+    "KernelEmbedding",
+    "LiftAlongMonomorphism",
+    "PreCompose",
     "ProjectionInFactorOfDirectSumWithGivenDirectSum",
-    #"RightUnitorWithGivenTensorProduct",
-    #"TensorProductOnMorphismsWithGivenTensorProducts",
-    #"TensorProductOnObjects",
-    #"TensorUnit",
     "UniversalMorphismFromDirectSumWithGivenDirectSum",
     "UniversalMorphismFromZeroObjectWithGivenZeroObject",
     "UniversalMorphismIntoDirectSumWithGivenDirectSum",
     "UniversalMorphismIntoZeroObjectWithGivenZeroObject",
     "ZeroMorphism",
-    "ZeroObject" 
+    "ZeroObject",
 ];;
 
 operations_for_commutative_ring := Concatenation(
     operations_for_arbitrary_ring,
-    [ "MultiplyWithElementOfCommutativeRingForMorphisms" ]
+    [ "AssociatorLeftToRightWithGivenTensorProducts",
+      "AssociatorRightToLeftWithGivenTensorProducts",
+      "BraidingWithGivenTensorProducts",
+      "CoevaluationMorphismWithGivenRange",
+      #"Colift",
+      #"ColiftOrFail",
+      "EvaluationMorphismWithGivenSource",
+      "InternalHomOnMorphismsWithGivenInternalHoms",
+      "InternalHomOnObjects",
+      #"IsColiftable",
+      #"IsLiftable",
+      "LeftUnitorWithGivenTensorProduct",
+      #"Lift",
+      #"LiftOrFail",
+      "MultiplyWithElementOfCommutativeRingForMorphisms",
+      "RightUnitorWithGivenTensorProduct",
+      "TensorProductOnMorphismsWithGivenTensorProducts",
+      "TensorProductOnObjects",
+      "TensorUnit",
+    ]
 );;
 
 precompile_LeftPresentations := function( ring, name, operations )

diff --git a/CompilerForCAP/gap/InferDataTypes.gi b/CompilerForCAP/gap/InferDataTypes.gi
@@ -1461,8 +1461,14 @@ CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "CertainRows", [ "IsHomalgM
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "CertainColumns", [ "IsHomalgMatrix", "IsList" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "KroneckerMat", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "DualKroneckerMat", [ "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", "LeftDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "LeftDivide", [ "IsHomalgMatrix", "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
 CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "RightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix" ], "IsHomalgMatrix" );
+CapJitAddTypeSignatureDeferred( "MatricesForHomalg", "RightDivide", [ "IsHomalgMatrix", "IsHomalgMatrix", "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
@@ -237,7 +237,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
@@ -337,7 +337,7 @@ InstallOtherMethodForCompilerForCAP( MereExistenceOfWitnessForBeingCongruentToZe
 
 end );
 
-InstallMethodWithCacheFromObject( INTERNAL_HOM_EMBEDDING,
+InstallMethodForCompilerForCAP( INTERNAL_HOM_EMBEDDING,
                                   [ IsFreydCategory, IsFreydCategoryObject, IsFreydCategoryObject ],
     function( cat, a, b )
       local source, range, mor;