Compile closed tensor structure

in ModulePresentationsForCAP

Author: Tom Kuhmichel

CompilerForCAP/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",
+    "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 )

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

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 ] );
 
 

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;