comply with CategoryConstructor v2020.04.15

homalg-project · Apr 24, 2020 · 769029d · 769029d
1 parent 93a22f9
commit 769029d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -11,7 +11,7 @@ SetPackageInfo( rec(
 PackageName := "CatReps",
 Subtitle := "Representations and cohomology of finite categories",
 Version := Maximum( [
-                   "2020.04.10", ## Mohamed's version
+                   "2020.04.15", ## Mohamed's version
                    ## this line prevents merge conflicts
                    "2020.01.01", ## Tibor's version
                    ## this line prevents merge conflicts
@@ -107,7 +107,7 @@ Dependencies := rec(
                    [ "GAPDoc", ">= 1.5" ],
                    [ "CAP", ">= 2020.02.16" ],
                    [ "FinSetsForCAP", ">= 2020.04.01" ],
-                   [ "CategoryConstructor", ">= 2020.04.13" ],
+                   [ "CategoryConstructor", ">= 2020.04.15" ],
                    [ "SubcategoriesForCAP", ">= 2020.04.07" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
                    [ "Toposes", ">= 2020.02.19" ],

diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g
@@ -31,7 +31,7 @@ CatReps := Hom( kq, GF3 );
 #! The category of functors: Algebroid generated by the right quiver
 #! q(2)[a:1->1,b:1->2,c:2->2] -> Category of matrices over GF(3)
 InfoOfInstalledOperationsOfCategory( CatReps );
-#! 108 primitive operations were used to derive 232 operations for this category which
+#! 106 primitive operations were used to derive 232 operations for this category which
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
 #! * IsAbelianCategory