fixed (Left)C(oc)losedMonoidalCategoriesTestWithGiven

homalg-project · Jan 1, 2025 · a9ed7c9 · a9ed7c9
1 parent c92931f
commit a9ed7c9
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 9 deletions.
diff --git a/MonoidalCategories/PackageInfo.g b/MonoidalCategories/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "MonoidalCategories",
 Subtitle := "Monoidal and monoidal (co)closed categories",
-Version := "2024.09-05",
+Version := "2025.01-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

diff --git a/MonoidalCategories/gap/ClosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/ClosedMonoidalCategoriesTestWithGiven.gi
@@ -62,8 +62,8 @@ InstallGlobalFunction( "ClosedMonoidalCategoriesTestWithGiven",
             hom_bc_x_a := TensorProductOnObjects( hom_bc, a );
             hom_da_x_c := TensorProductOnObjects( hom_da, c );
 
-            cohom_ad := InternalHomOnObjects( a_op, d_op );
-            cohom_cb := InternalHomOnObjects( c_op, b_op );
+            cohom_ad := InternalCoHomOnObjects( a_op, d_op );
+            cohom_cb := InternalCoHomOnObjects( c_op, b_op );
 
             cohom_ad_x_c := TensorProductOnObjects( cohom_ad, c_op );
             cohom_cb_x_a := TensorProductOnObjects( cohom_cb, a_op );

diff --git a/MonoidalCategories/gap/CoclosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/CoclosedMonoidalCategoriesTestWithGiven.gi
@@ -56,8 +56,8 @@ InstallGlobalFunction( "CoclosedMonoidalCategoriesTestWithGiven",
             #
             ##################################################
 
-            cohom_bc := InternalHomOnObjects( b, c );
-            cohom_da := InternalHomOnObjects( d, a );
+            cohom_bc := InternalCoHomOnObjects( b, c );
+            cohom_da := InternalCoHomOnObjects( d, a );
 
             cohom_bc_x_d := TensorProductOnObjects( cohom_bc, d );
             cohom_da_x_b := TensorProductOnObjects( cohom_da, b );

diff --git a/MonoidalCategories/gap/LeftClosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/LeftClosedMonoidalCategoriesTestWithGiven.gi
@@ -62,8 +62,8 @@ InstallGlobalFunction( "LeftClosedMonoidalCategoriesTestWithGiven",
             hom_bc_x_a := TensorProductOnObjects( hom_bc, a );
             hom_da_x_c := TensorProductOnObjects( hom_da, c );
 
-            cohom_ad := LeftInternalHomOnObjects( a_op, d_op );
-            cohom_cb := LeftInternalHomOnObjects( c_op, b_op );
+            cohom_ad := LeftInternalCoHomOnObjects( a_op, d_op );
+            cohom_cb := LeftInternalCoHomOnObjects( c_op, b_op );
 
             cohom_ad_x_c := TensorProductOnObjects( cohom_ad, c_op );
             cohom_cb_x_a := TensorProductOnObjects( cohom_cb, a_op );

diff --git a/MonoidalCategories/gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi b/MonoidalCategories/gap/LeftCoclosedMonoidalCategoriesTestWithGiven.gi
@@ -56,8 +56,8 @@ InstallGlobalFunction( "LeftCoclosedMonoidalCategoriesTestWithGiven",
             #
             ##################################################
 
-            cohom_bc := LeftInternalHomOnObjects( b, c );
-            cohom_da := LeftInternalHomOnObjects( d, a );
+            cohom_bc := LeftInternalCoHomOnObjects( b, c );
+            cohom_da := LeftInternalCoHomOnObjects( d, a );
 
             cohom_bc_x_d := TensorProductOnObjects( cohom_bc, d );
             cohom_da_x_b := TensorProductOnObjects( cohom_da, b );