From a926cc8e1d97de8832cd4eb7404d32f865caef00 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Tue, 17 Jan 2023 10:31:38 +0100
Subject: [PATCH] comply with CAP v2023.01-05

from PR https://github.com/homalg-project/CAP_project/pull/1210
---
 examples/CategoryOfRepresentations.g               | 5 +----
 examples/notebooks/CategoryOfRepresentations.ipynb | 7 ++-----
 2 files changed, 3 insertions(+), 9 deletions(-)

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
index 11d739f..906e07d 100644
--- a/examples/CategoryOfRepresentations.g
+++ b/examples/CategoryOfRepresentations.g
@@ -38,15 +38,12 @@ Display( CatReps );
 #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
 #! Category of matrices over GF(3) ):
 #! 
-#! 96 primitive operations were used to derive 323 operations for this category
+#! 104 primitive operations were used to derive 347 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
 #! * IsAbelianCategory
-#! and furthermore mathematically
-#! * IsFiniteCocompleteCategory (but not yet algorithmically)
-#! * IsFiniteCompleteCategory (but not yet algorithmically)
 CommutativeRingOfLinearCategory( CatReps );
 #! GF(3)
 zero := ZeroObject( CatReps );
diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
index 3b993a5..4bbf999 100644
--- a/examples/notebooks/CategoryOfRepresentations.ipynb
+++ b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -517,14 +517,11 @@
      "text": [
       "A CAP category with name FunctorCategory( Algebroid( GF(3), FreeCategory( RightQuiver( \"q(2)[a:1->1,b:1->2,c:2->2]\" ) ) ) / relations, Category of matrices over GF(3) ):\n",
       "\n",
-      "96 primitive operations were used to derive 323 operations for this category which algorithmically\n",
+      "104 primitive operations were used to derive 347 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",
-      "* IsAbelianCategory\n",
-      "and furthermore mathematically\n",
-      "* IsFiniteCocompleteCategory (but not yet algorithmically)\n",
-      "* IsFiniteCompleteCategory (but not yet algorithmically)\n"
+      "* IsAbelianCategory\n"
      ]
     }
    ],