From 349b0e56c1ab7ce843df24aca464f48de85c47ea Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Fri, 29 Oct 2021 16:04:46 +0200 Subject: [PATCH] comply with CategoryConstructor v2021.10-07 in https://github.com/homalg-project/CategoryConstructor/pull/18 --- PackageInfo.g | 4 ++-- README.md | 2 +- examples/CategoryOfRepresentations.g | 2 +- examples/julia/notebooks/CategoryOfRepresentations.ipynb | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index bf8701b..5ed1318 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2021.10-02", +Version := "2021.10-03", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -104,7 +104,7 @@ Dependencies := rec( [ "MonoidalCategories", ">= 2021.08-01" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2020.04.01" ], - [ "CategoryConstructor", ">= 2020.06-01" ], + [ "CategoryConstructor", ">= 2021.10-07" ], [ "SubcategoriesForCAP", ">= 2020.06-01" ], [ "MatricesForHomalg", ">= 2020.02.02" ], [ "Toposes", ">= 2020.04.27" ], diff --git a/README.md b/README.md index 2604d77..c634f7e 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,7 @@ The supported categorical doctrine of the category of representations is ```gap gap> InfoOfInstalledOperationsOfCategory( CatReps ); -106 primitive operations were used to derive 259 operations for this category which +93 primitive operations were used to derive 255 operations for this category which * IsEquippedWithHomomorphismStructure * IsLinearCategoryOverCommutativeRing * IsSymmetricMonoidalCategory diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index f52c50b..3141099 100644 --- a/examples/CategoryOfRepresentations.g +++ b/examples/CategoryOfRepresentations.g @@ -31,7 +31,7 @@ CatReps := Hom( A, 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 259 operations for this category which +#! 93 primitive operations were used to derive 255 operations for this category which #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing #! * IsSymmetricMonoidalCategory diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 066e9dd..1fd1b3b 100644 --- a/examples/julia/notebooks/CategoryOfRepresentations.ipynb +++ b/examples/julia/notebooks/CategoryOfRepresentations.ipynb @@ -493,7 +493,7 @@ "name": "stdout", "output_type": "stream", "text": [ - "106 primitive operations were used to derive 259 operations for this category which\n", + "93 primitive operations were used to derive 255 operations for this category which\n", "* IsEquippedWithHomomorphismStructure\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n",