Merge pull request #12 from mohamed-barakat/devel

comply with CAP v2023.12-02
homalg-project · Dec 6, 2023 · 9552eef · 9552eef
2 parents 1dcf6a4 + 8984e30
commit 9552eef
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "HeckeCategories",
 Subtitle := "Categorification of Hecke algebras",
-Version := "2023.08-01",
+Version := "2023.12-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",
@@ -104,7 +104,7 @@ Dependencies := rec(
   GAP := ">= 4.12.1",
   NeededOtherPackages := [
                 [ "RingsForHomalg", ">= 2023.02-02" ],
-                [ "CAP", ">= 2023.08-07" ],
+                [ "CAP", ">= 2023.12-02" ],
                 [ "MonoidalCategories", ">= 2023.02-04" ],
                 [ "FreydCategoriesForCAP", ">= 2023.02-01" ],
                 ],

diff --git a/examples/StandardCategory.g b/examples/StandardCategory.g
@@ -13,7 +13,7 @@ Std := StandardCategory( W, k );
 Display( Std );
 #! A CAP category with name StandardCategory( W, Q ):
 #! 
-#! 20 primitive operations were used to derive 80 operations for this category
+#! 20 primitive operations were used to derive 81 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing