Remove code

in ModulePresenationsForCAP and adjust examples
homalg-project · Feb 3, 2023 · f98750d · f98750d
1 parent 181c74e
commit f98750d
Show file tree

Hide file tree

Showing 5 changed files with 17 additions and 702 deletions.
diff --git a/CAP/examples/ModulePresentationsMonoidalCategory.g b/CAP/examples/ModulePresentationsMonoidalCategory.g
@@ -13,8 +13,8 @@ Nl := AsLeftPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ ) );
 Tl := TensorProductOnObjects( Ml, Nl );
 #! <An object in Category of left presentations of Z>
 Display( UnderlyingMatrix( Tl ) );
-#! [ [  3 ],
-#!   [  2 ] ]
+#! [ [  2 ],
+#!   [  3 ] ]
 IsZeroForObjects( Tl );
 #! true
 Bl := Braiding( DirectSum( Ml, Nl ), DirectSum( Ml, Ml ) );
@@ -38,15 +38,15 @@ generator_l1 := StandardGeneratorMorphism( IntHoml, 1 );
 morphism_l1 := LambdaElimination( DirectSum( Ml, Ul ), Nl, generator_l1 );
 #! <A morphism in Category of left presentations of Z>
 Display( UnderlyingMatrix( morphism_l1 ) );
-#! [ [  -3 ],
-#!   [   2 ] ]
+#! [ [   -84 ],
+#!   [  -196 ] ]
 generator_l2 := StandardGeneratorMorphism( IntHoml, 2 );
 #! <A morphism in Category of left presentations of Z>
 morphism_l2 := LambdaElimination( DirectSum( Ml, Ul ), Nl, generator_l2 );
 #! <A morphism in Category of left presentations of Z>
 Display( UnderlyingMatrix( morphism_l2 ) );
-#! [ [   0 ],
-#!   [  -1 ] ]
+#! [ [  -39 ],
+#!   [  -91 ] ]
 IsEqualForMorphisms( LambdaIntroduction( morphism_l1 ), generator_l1 );
 #! false
 IsCongruentForMorphisms( LambdaIntroduction( morphism_l1 ), generator_l1 );
@@ -62,7 +62,7 @@ Nr := AsRightPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, ZZ ) );
 Tr := TensorProductOnObjects( Mr, Nr );
 #! <An object in Category of right presentations of Z>
 Display( UnderlyingMatrix( Tr ) );
-#! [ [  3,  2 ] ]
+#! [ [  2,  3 ] ]
 IsZeroForObjects( Tr );
 #! true
 Br := Braiding( DirectSum( Mr, Nr ), DirectSum( Mr, Mr ) );
@@ -86,14 +86,14 @@ generator_r1 := StandardGeneratorMorphism( IntHomr, 1 );
 morphism_r1 := LambdaElimination( DirectSum( Mr, Ur ), Nr, generator_r1 );
 #! <A morphism in Category of right presentations of Z>
 Display( UnderlyingMatrix( morphism_r1 ) );
-#! [ [  -3,   2 ] ]
+#! [ [   -84,  -196 ] ]
 generator_r2 := StandardGeneratorMorphism( IntHoml, 2 );
 #! <A morphism in Category of left presentations of Z>
 morphism_r2 := LambdaElimination( DirectSum( Ml, Ul ), Nl, generator_r2 );
 #! <A morphism in Category of left presentations of Z>
 Display( UnderlyingMatrix( morphism_r2 ) );
-#! [ [   0 ],
-#!   [  -1 ] ]
+#! [ [  -39 ],
+#!   [  -91 ] ]
 IsEqualForMorphisms( LambdaIntroduction( morphism_r1 ), generator_r1 );
 #! false
 IsCongruentForMorphisms( LambdaIntroduction( morphism_r1 ), generator_r1 );

diff --git a/ModulePresentationsForCAP/PackageInfo.g b/ModulePresentationsForCAP/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "ModulePresentationsForCAP",
 Subtitle := "Category R-pres for CAP",
-Version := "2022.12-01",
+Version := "2023.02-01",
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
 License := "GPL-2.0-or-later",
 

diff --git a/ModulePresentationsForCAP/examples/MonoidalStructure.g b/ModulePresentationsForCAP/examples/MonoidalStructure.g
@@ -15,8 +15,8 @@ N := AsLeftPresentation( HomalgMatrix( [ [ 3 ] ], 1, 1, R ) );
 T := TensorProductOnObjects( M, N );
 #! <An object in Category of left presentations of Z>
 Display( T );
-#! [ [  3 ],
-#!   [  2 ] ]
+#! [ [  2 ],
+#!   [  3 ] ]
 #! 
 #! An object in Category of left presentations of Z
 IsZero( T );
@@ -37,8 +37,8 @@ l := LambdaElimination( DirectSum( M, M ), DirectSum( M, N ), alpha );
 IsZero( l );
 #! false
 Display( l );
-#! [ [  -2,   6 ],
-#!   [  -1,  -3 ] ]
+#! [ [  236554,       0 ],
+#!   [   78415,       0 ] ]
 #!
 #! A morphism in Category of left presentations of Z
 #! @EndExample
diff --git a/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gd b/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gd
@@ -67,23 +67,6 @@ DeclareGlobalFunction( "ADD_PRECOMPOSE_LEFT" );
 
 DeclareGlobalFunction( "ADD_IS_WELL_DEFINED_FOR_MORPHISM_LEFT" );
 
-DeclareGlobalFunction( "ADD_TENSOR_PRODUCT_ON_OBJECTS_LEFT" );
-
-DeclareGlobalFunction( "ADD_TENSOR_UNIT_LEFT" );
-
-DeclareGlobalFunction( "ADD_INTERNAL_HOM_ON_OBJECTS_LEFT" );
-
-DeclareGlobalFunction( "ADD_INTERNAL_HOM_ON_MORPHISMS_LEFT" );
-
-DeclareGlobalFunction( "ADD_BRAIDING_LEFT" );
-
-DeclareGlobalFunction( "ADD_EVALUATION_MORPHISM_LEFT" );
-
-DeclareGlobalFunction( "ADD_COEVALUATION_MORPHISM_LEFT" );
-
-DeclareGlobalFunction( "ADD_ASSOCIATOR_LEFT" );
-
-
 DeclareGlobalFunction( "ADD_FUNCTIONS_FOR_RIGHT_PRESENTATION" );
 
 DeclareGlobalFunction( "ADD_KERNEL_RIGHT" );
@@ -92,31 +75,8 @@ DeclareGlobalFunction( "ADD_PRECOMPOSE_RIGHT" );
 
 DeclareGlobalFunction( "ADD_IS_WELL_DEFINED_FOR_MORPHISM_RIGHT" );
 
-DeclareGlobalFunction( "ADD_TENSOR_PRODUCT_ON_OBJECTS_RIGHT" );
-
-DeclareGlobalFunction( "ADD_TENSOR_UNIT_RIGHT" );
-
-DeclareGlobalFunction( "ADD_INTERNAL_HOM_ON_OBJECTS_RIGHT" );
-
-DeclareGlobalFunction( "ADD_INTERNAL_HOM_ON_MORPHISMS_RIGHT" );
-
-DeclareGlobalFunction( "ADD_BRAIDING_RIGHT" );
-
-DeclareGlobalFunction( "ADD_EVALUATION_MORPHISM_RIGHT" );
-
-DeclareGlobalFunction( "ADD_COEVALUATION_MORPHISM_RIGHT" );
-
-DeclareGlobalFunction( "ADD_ASSOCIATOR_RIGHT" );
-
-
-DeclareGlobalFunction( "ADD_UNITOR" );
-
 DeclareGlobalFunction( "ADD_IS_WELL_DEFINED_FOR_OBJECTS" );
 
-DeclareGlobalFunction( "ADD_EQUAL_FOR_OBJECTS" );
-
-DeclareGlobalFunction( "ADD_TENSOR_PRODUCT_ON_MORPHISMS" );
-
 DeclareGlobalFunction( "ADD_LIFT_AND_COLIFT_LEFT" );
 
 DeclareGlobalFunction( "ADD_LIFT_AND_COLIFT_RIGHT" );