From 504bda9d87608e666d2205138204991f5a7760d7 Mon Sep 17 00:00:00 2001 From: Tom Kuhmichel Date: Wed, 31 Aug 2022 15:01:16 +0200 Subject: [PATCH] Remove code --- .../gap/ModulePresentationsForCAP.gi | 243 +----------------- 1 file changed, 2 insertions(+), 241 deletions(-) diff --git a/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gi b/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gi index 25bb44e4fc..0504853b8c 100644 --- a/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gi +++ b/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gi @@ -221,9 +221,6 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_LEFT_PRESENTATION, # has special cases ADD_PRECOMPOSE_LEFT( category ); - # simpler than the compiled version - ADD_EQUAL_FOR_OBJECTS( category ); - # IsWellDefined* should not be compiled ADD_IS_WELL_DEFINED_FOR_OBJECTS( category ); @@ -234,23 +231,12 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_LEFT_PRESENTATION, # differs from the compiled version ADD_LIFT_AND_COLIFT_LEFT( category ); - # this tensor structure slightly differs from the tensor structure of FreydCategory - ADD_ASSOCIATOR_LEFT( category ); - - ADD_UNITOR( category ); - ADD_TENSOR_PRODUCT_ON_OBJECTS_LEFT( category ); - ADD_TENSOR_PRODUCT_ON_MORPHISMS( category ); - - ADD_TENSOR_UNIT_LEFT( category ); - ADD_INTERNAL_HOM_ON_OBJECTS_LEFT( category ); ADD_INTERNAL_HOM_ON_MORPHISMS_LEFT( category ); - ADD_BRAIDING_LEFT( category ); - ADD_EVALUATION_MORPHISM_LEFT( category ); ADD_COEVALUATION_MORPHISM_LEFT( category ); @@ -268,8 +254,6 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_RIGHT_PRESENTATION, ADD_PRECOMPOSE_RIGHT( category ); - ADD_EQUAL_FOR_OBJECTS( category ); - ADD_IS_WELL_DEFINED_FOR_OBJECTS( category ); ADD_IS_WELL_DEFINED_FOR_MORPHISM_RIGHT( category ); @@ -278,22 +262,12 @@ InstallGlobalFunction( ADD_FUNCTIONS_FOR_RIGHT_PRESENTATION, ADD_LIFT_AND_COLIFT_RIGHT( category ); - ADD_ASSOCIATOR_RIGHT( category ); - - ADD_UNITOR( category ); - ADD_TENSOR_PRODUCT_ON_OBJECTS_RIGHT( category ); - ADD_TENSOR_PRODUCT_ON_MORPHISMS( category ); - - ADD_TENSOR_UNIT_RIGHT( category ); - ADD_INTERNAL_HOM_ON_OBJECTS_RIGHT( category ); ADD_INTERNAL_HOM_ON_MORPHISMS_RIGHT( category ); - ADD_BRAIDING_RIGHT( category ); - ADD_EVALUATION_MORPHISM_RIGHT( category ); ADD_COEVALUATION_MORPHISM_RIGHT( category ); @@ -388,21 +362,6 @@ InstallGlobalFunction( ADD_IS_WELL_DEFINED_FOR_MORPHISM_RIGHT, end ); -## -InstallGlobalFunction( ADD_EQUAL_FOR_OBJECTS, - - function( category ) - - AddIsEqualForObjects( category, - - function( cat, object1, object2 ) - - return UnderlyingMatrix( object1 ) = UnderlyingMatrix( object2 ); - - end ); - -end ); - ## InstallGlobalFunction( ADD_KERNEL_LEFT, @@ -517,12 +476,7 @@ InstallGlobalFunction( ADD_PRECOMPOSE_LEFT, AddPreCompose( category, - [ - [ function( cat, left_morphism, right_morphism ) - - return PresentationMorphism( Source( left_morphism ), UnderlyingMatrix( left_morphism ) * UnderlyingMatrix( right_morphism ), Range( right_morphism ) ); - - end, [ ] ], + [ [ function( cat, left_morphism, identity_morphism ) @@ -567,13 +521,7 @@ InstallGlobalFunction( ADD_PRECOMPOSE_RIGHT, AddPreCompose( category, - [ - - [ function( cat, left_morphism, right_morphism ) - - return PresentationMorphism( Source( left_morphism ), UnderlyingMatrix( right_morphism ) * UnderlyingMatrix( left_morphism ), Range( right_morphism ) ); - - end, [ ] ], + [ [ function( cat, left_morphism, identity_morphism ) @@ -609,78 +557,6 @@ InstallGlobalFunction( ADD_PRECOMPOSE_RIGHT, end ); -## -InstallGlobalFunction( ADD_ASSOCIATOR_LEFT, - - function( category ) - local homalg_ring, associator_func; - - homalg_ring := category!.ring_for_representation_category; - - associator_func := function( cat, source, A, B, C, range ) - - return PresentationMorphism( - source, - HomalgIdentityMatrix( NrColumns( UnderlyingMatrix( source ) ), NrColumns( UnderlyingMatrix( range ) ), homalg_ring ), - range - ); - - end; - - AddAssociatorLeftToRightWithGivenTensorProducts( category, - associator_func - ); - - AddAssociatorRightToLeftWithGivenTensorProducts( category, - associator_func - ); - -end ); - -## -InstallGlobalFunction( ADD_ASSOCIATOR_RIGHT, - - function( category ) - local homalg_ring, associator_func; - - homalg_ring := category!.ring_for_representation_category; - - associator_func := function( cat, source, A, B, C, range ) - - return PresentationMorphism( - source, - HomalgIdentityMatrix( NrRows( UnderlyingMatrix( source ) ), NrRows( UnderlyingMatrix( range ) ), homalg_ring ), - range - ); - - end; - - AddAssociatorLeftToRightWithGivenTensorProducts( category, - associator_func - ); - - AddAssociatorRightToLeftWithGivenTensorProducts( category, - associator_func - ); - -end ); - -## -InstallGlobalFunction( ADD_UNITOR, - - function( category ) - local unitor_func; - - unitor_func := function( cat, A, B ) - return IdentityMorphism( A ); - end; - - AddLeftUnitorWithGivenTensorProduct( category, unitor_func ); - - AddRightUnitorWithGivenTensorProduct( category, unitor_func ); - -end ); - ## InstallGlobalFunction( ADD_TENSOR_PRODUCT_ON_OBJECTS_LEFT, @@ -749,59 +625,6 @@ InstallGlobalFunction( ADD_TENSOR_PRODUCT_ON_OBJECTS_RIGHT, end ); -## -InstallGlobalFunction( ADD_TENSOR_PRODUCT_ON_MORPHISMS, - - function( category ) - - AddTensorProductOnMorphismsWithGivenTensorProducts( category, - - function( cat, new_source, morphism_1, morphism_2, new_range ) - - return PresentationMorphism( new_source, - KroneckerMat( UnderlyingMatrix( morphism_1 ), UnderlyingMatrix( morphism_2 ) ), - new_range ); - - end ); - -end ); - -## -InstallGlobalFunction( ADD_TENSOR_UNIT_LEFT, - - function( category ) - local homalg_ring; - - homalg_ring := category!.ring_for_representation_category; - - AddTensorUnit( category, - - function( cat ) - - return AsLeftPresentation( HomalgZeroMatrix( 0, 1, homalg_ring ) ); - - end ); - -end ); - -## -InstallGlobalFunction( ADD_TENSOR_UNIT_RIGHT, - - function( category ) - local homalg_ring; - - homalg_ring := category!.ring_for_representation_category; - - AddTensorUnit( category, - - function( cat ) - - return AsRightPresentation( HomalgZeroMatrix( 1, 0, homalg_ring ) ); - - end ); - -end ); - ## InstallGlobalFunction( ADD_INTERNAL_HOM_ON_OBJECTS_LEFT, @@ -896,68 +719,6 @@ InstallGlobalFunction( ADD_INTERNAL_HOM_ON_MORPHISMS_RIGHT, end ); -## -InstallGlobalFunction( ADD_BRAIDING_LEFT, - - function( category ) - - AddBraidingWithGivenTensorProducts( category, - - function( cat, object_1_tensored_object_2, object_1, object_2, object_2_tensored_object_1 ) - local homalg_ring, permutation_matrix, rank_1, rank_2, rank; - - homalg_ring := UnderlyingHomalgRing( object_1 ); - - rank_1 := NrColumns( UnderlyingMatrix( object_1 ) ); - - rank_2 := NrColumns( UnderlyingMatrix( object_2 ) ); - - rank := NrColumns( UnderlyingMatrix( object_1_tensored_object_2 ) ); - - permutation_matrix := PermutationMat( - PermList( List( [ 1 .. rank ], i -> ( RemInt( i - 1, rank_2 ) * rank_1 + QuoInt( i - 1, rank_2 ) + 1 ) ) ), - rank - ); - - return PresentationMorphism( object_1_tensored_object_2, - HomalgMatrix( permutation_matrix, rank, rank, homalg_ring ), - object_2_tensored_object_1 ); - - end ); - -end ); - -## -InstallGlobalFunction( ADD_BRAIDING_RIGHT, - - function( category ) - - AddBraidingWithGivenTensorProducts( category, - - function( cat, object_1_tensored_object_2, object_1, object_2, object_2_tensored_object_1 ) - local homalg_ring, permutation_matrix, rank_1, rank_2, rank; - - homalg_ring := UnderlyingHomalgRing( object_1 ); - - rank_1 := NrRows( UnderlyingMatrix( object_1 ) ); - - rank_2 := NrRows( UnderlyingMatrix( object_2 ) ); - - rank := NrRows( UnderlyingMatrix( object_1_tensored_object_2 ) ); - - permutation_matrix := PermutationMat( - PermList( List( [ 1 .. rank ], i -> ( RemInt( i - 1, rank_2 ) * rank_1 + QuoInt( i - 1, rank_2 ) + 1 ) ) ), - rank - ); - - return PresentationMorphism( object_1_tensored_object_2, - TransposedMatrix( HomalgMatrix( permutation_matrix, rank, rank, homalg_ring ) ), ## transposed of the left case - object_2_tensored_object_1 ); - - end ); - -end ); - ## InstallGlobalFunction( ADD_EVALUATION_MORPHISM_LEFT,