updated output caused by CAP & Toposes v2020.04.27

homalg-project · May 5, 2020 · c1d8ccd · c1d8ccd
1 parent 769029d
commit c1d8ccd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -105,12 +105,12 @@ Dependencies := rec(
   GAP := ">= 4.9.1",
   NeededOtherPackages := [
                    [ "GAPDoc", ">= 1.5" ],
-                   [ "CAP", ">= 2020.02.16" ],
+                   [ "CAP", ">= 2020.04.27" ],
                    [ "FinSetsForCAP", ">= 2020.04.01" ],
                    [ "CategoryConstructor", ">= 2020.04.15" ],
                    [ "SubcategoriesForCAP", ">= 2020.04.07" ],
                    [ "MatricesForHomalg", ">= 2020.02.02" ],
-                   [ "Toposes", ">= 2020.02.19" ],
+                   [ "Toposes", ">= 2020.04.27" ],
                    [ "FunctorCategories", ">= 2020.04.13" ],
                    ],
   SuggestedOtherPackages := [ ],

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 );
-#! 106 primitive operations were used to derive 232 operations for this category which
+#! 106 primitive operations were used to derive 236 operations for this category which
 #! * IsLinearCategoryOverCommutativeRing
 #! * IsSymmetricMonoidalCategory
 #! * IsAbelianCategory