Merge pull request homalg-project#1258 from mohamed-barakat/SetRange

continue complying with CAP v2023.02-09
TKuh · Feb 21, 2023 · 87ccffd · 87ccffd
2 parents 26a2882 + 2242d5f
commit 87ccffd
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
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",
 
@@ -87,8 +87,8 @@ PackageDoc := rec(
 Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [ [ "MatricesForHomalg", ">=2019.02.01" ],
-                           [ "CAP", ">= 2022.09-13" ],
-                           [ "MonoidalCategories", ">= 2019.01.16" ],
+                           [ "CAP", ">= 2023.02-09" ],
+                           [ "MonoidalCategories", ">= 2023.02-04" ],
   ],
   SuggestedOtherPackages := [
     [ "FreydCategoriesForCAP", ">= 2021.12-04" ],

diff --git a/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gi b/ModulePresentationsForCAP/gap/ModulePresentationsForCAP.gi
@@ -36,6 +36,9 @@ InstallMethod( LeftPresentations,
 
       SetIsSymmetricClosedMonoidalCategory( category, true );
 
+      SetRangeCategoryOfHomomorphismStructure( category, category );
+      SetIsEquippedWithHomomorphismStructure( category, true );
+
       SetIsLinearCategoryOverCommutativeRing( category, true );
 
       SetCommutativeRingOfLinearCategory( category, ring );
@@ -133,6 +136,9 @@ InstallMethod( RightPresentations,
 
       SetIsSymmetricClosedMonoidalCategory( category, true );
 
+      SetRangeCategoryOfHomomorphismStructure( category, category );
+      SetIsEquippedWithHomomorphismStructure( category, true );
+
       SetIsLinearCategoryOverCommutativeRing( category, true );
 
       SetCommutativeRingOfLinearCategory( category, ring );