Merge pull request #739 from mohamed-barakat/devel

mohamed-barakat · web-flow · commit ee18c669c3b7 · 2021-11-09T10:36:07.000+01:00
remove further obsolete declarations of *_CATEGORIES_BASIC_OPERATIONS
diff --git a/MonoidalCategories/gap/AdditiveMonoidalCategories.gd b/MonoidalCategories/gap/AdditiveMonoidalCategories.gd
@@ -6,8 +6,6 @@
 ##
 ####################################
 
-DeclareGlobalVariable( "CAP_INTERNAL_DISTRIBUTIVE_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" );
-
 DeclareGlobalVariable( "DISTRIBUTIVE_MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" );
 
 #! @Description
diff --git a/MonoidalCategories/gap/BraidedMonoidalCategories.gd b/MonoidalCategories/gap/BraidedMonoidalCategories.gd
@@ -6,8 +6,6 @@
 ##
 ####################################
 
-DeclareGlobalVariable( "CAP_INTERNAL_BRAIDED_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" );
-
 DeclareGlobalVariable( "BRAIDED_MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" );
 
 #! @Description
diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategories.gd b/MonoidalCategories/gap/CoclosedMonoidalCategories.gd
@@ -6,8 +6,6 @@
 ##
 ####################################
 
-DeclareGlobalVariable( "CAP_INTERNAL_COCLOSED_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" );
-
 DeclareGlobalVariable( "COCLOSED_MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" );
 
 CAP_INTERNAL_CONSTRUCTIVE_CATEGORIES_RECORD.IsCoclosedMonoidalCategory  := Concatenation( [
diff --git a/MonoidalCategories/gap/MonoidalCategories.gd b/MonoidalCategories/gap/MonoidalCategories.gd
@@ -6,8 +6,6 @@
 ##
 ####################################
 
-DeclareGlobalVariable( "CAP_INTERNAL_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" );
-
 DeclareGlobalVariable( "MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" );
 
 Perform(
diff --git a/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategories.gd b/MonoidalCategories/gap/RigidSymmetricClosedMonoidalCategories.gd
@@ -6,8 +6,6 @@
 ##
 ####################################
 
-DeclareGlobalVariable( "CAP_INTERNAL_RIGID_SYMMETRIC_CLOSED_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" );
-  
 DeclareGlobalVariable( "RIGID_SYMMETRIC_CLOSED_MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" );
 
 #! @Description
diff --git a/MonoidalCategories/gap/RigidSymmetricCoclosedMonoidalCategories.gd b/MonoidalCategories/gap/RigidSymmetricCoclosedMonoidalCategories.gd
@@ -6,8 +6,6 @@
 ##
 ####################################
 
-DeclareGlobalVariable( "CAP_INTERNAL_RIGID_SYMMETRIC_COCLOSED_MONOIDAL_CATEGORIES_BASIC_OPERATIONS" );
-  
 DeclareGlobalVariable( "RIGID_SYMMETRIC_COCLOSED_MONOIDAL_CATEGORIES_METHOD_NAME_RECORD" );
 
 #! @Description
