From af774d9f1a53b8dd7853181b7fa843568c91ca7f Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Mon, 4 Oct 2021 12:23:34 +0200
Subject: [PATCH] comply with CAP v2021.10-01

---
 PackageInfo.g                                            | 4 ++--
 README.md                                                | 1 +
 examples/CategoryOfRepresentations.g                     | 1 +
 examples/julia/notebooks/CategoryOfRepresentations.ipynb | 1 +
 4 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index 6bc22c7..40703ad 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2021.08-03",
+Version := "2021.10-01",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -100,7 +100,7 @@ Dependencies := rec(
   GAP := ">= 4.9.1",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2021.08-02" ],
+                   [ "CAP", ">= 2021.10-01" ],
                    [ "MonoidalCategories", ">= 2021.08-01" ],
                    [ "LinearAlgebraForCAP", ">= 2021.07-01" ],
                    [ "FinSetsForCAP", ">= 2020.04.01" ],
diff --git a/README.md b/README.md
index 0f7b389..3be7b75 100644
--- a/README.md
+++ b/README.md
@@ -58,6 +58,7 @@ The supported categorical doctrine of the category of representations is
 ```gap
 gap> InfoOfInstalledOperationsOfCategory( CatReps );
 106 primitive operations were used to derive 258 operations for this category which
+* IsEquippedWithHomomorphismStructure
 * IsLinearCategoryOverCommutativeRing
 * IsSymmetricMonoidalCategory
 * IsAbelianCategory
diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index dfccde4..f1b1034 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -32,6 +32,7 @@ CatReps := Hom( A, GF3 );
 #! q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over GF(3)
 InfoOfInstalledOperationsOfCategory( CatReps );
 #! 106 primitive operations were used to derive 258 operations for this category which
+#! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
 #! * IsAbelianCategory
diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
index 4806393..7f4170c 100644
--- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb
+++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb
@@ -494,6 +494,7 @@
      "output_type": "stream",
      "text": [
       "106 primitive operations were used to derive 258 operations for this category which\n",
+      "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",
       "* IsAbelianCategory\n"