From 800140c19fb0a46655eca6606aed483c8ce2e312 Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Tue, 22 Nov 2022 10:24:42 +0100 Subject: [PATCH] comply with FunctorCategories v2022.11-28 from PR https://github.com/homalg-project/FunctorCategories/pull/256 --- PackageInfo.g | 4 ++-- examples/CategoryOfRepresentations.g | 2 +- examples/notebooks/CategoryOfRepresentations.ipynb | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index 1735109..b78623d 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2022.11-02", +Version := "2022.11-03", 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.10-36" ], + [ "FunctorCategories", ">= 2022.11-28" ], ], SuggestedOtherPackages := [ ], ExternalConditions := [ ], diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index 6946934..f53a24f 100644 --- 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 ); -#! 95 primitive operations were used to derive 316 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 index fc42cd7..088c43d 100644 --- a/examples/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/notebooks/CategoryOfRepresentations.ipynb @@ -515,7 +515,7 @@ "name": "stdout", "output_type": "stream", "text": [ - "95 primitive operations were used to derive 316 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",