Merge pull request #50 from mohamed-barakat/devel

comply with FunctorCategories v2022.10-01
homalg-project · Oct 3, 2022 · 5bb6304 · 5bb6304
2 parents 2b3f8ae + 40db71b
commit 5bb6304
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
-Version := "2022.09-01",
+Version := "2022.10-01",
 
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ),
@@ -109,7 +109,7 @@ Dependencies := rec(
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2022.05-07" ],
                    [ "Algebroids", ">= 2022.05-05" ],
-                   [ "FunctorCategories", ">= 2022.08-06" ],
+                   [ "FunctorCategories", ">= 2022.10-01" ],
                    ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],

diff --git a/README.md b/README.md
@@ -58,7 +58,7 @@ The supported categorical doctrine of the category of representations is
 
 ```gap
 gap> InfoOfInstalledOperationsOfCategory( CatReps );
-92 primitive operations were used to derive 313 operations for this category
+96 primitive operations were used to derive 317 operations for this category
 which constructively
 * IsEquippedWithHomomorphismStructure
 * IsLinearCategoryOverCommutativeRing

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -33,7 +33,7 @@ CatReps := FunctorCategory( A, GF3 );
 #! RightQuiver( "q(2)[a:1->1,b:1->2,c:2->2]" ) ) ) / relations,
 #! Category of matrices over GF(3) )
 InfoOfInstalledOperationsOfCategory( CatReps );
-#! 92 primitive operations were used to derive 313 operations for this category
+#! 96 primitive operations were used to derive 317 operations for this category
 #! which algorithmically
 #! * IsEquippedWithHomomorphismStructure
 #! * IsLinearCategoryOverCommutativeRing

diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb
@@ -515,7 +515,7 @@
      "name": "stdout",
      "output_type": "stream",
      "text": [
-      "92 primitive operations were used to derive 313 operations for this category which algorithmically\n",
+      "96 primitive operations were used to derive 317 operations for this category which algorithmically\n",
       "* IsEquippedWithHomomorphismStructure\n",
       "* IsLinearCategoryOverCommutativeRing\n",
       "* IsSymmetricMonoidalCategory\n",