Remove code

in ModulePresenationsForCAP and adjust examples
homalg-project · Dec 18, 2022 · dac16f3 · dac16f3
1 parent 1788a93
commit dac16f3
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 691 deletions.
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 ] ]
+#! [ [  2406,     0 ],
+#!   [   171,     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" );