From 9564b86088af5680d62a8ed5f35f780894bce730 Mon Sep 17 00:00:00 2001 From: Fabian Zickgraf Date: Wed, 27 Oct 2021 15:05:49 +0200 Subject: [PATCH] Adjust to https://github.com/homalg-project/CAP_project/pull/732/commits/8968d65fd9611773594cc91d55f18275ca0f71c7 --- 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 40703ad..bf8701b 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-01", +Version := "2021.10-02", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -100,7 +100,7 @@ Dependencies := rec( GAP := ">= 4.9.1", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], - [ "CAP", ">= 2021.10-01" ], + [ "CAP", ">= 2021.10-06" ], [ "MonoidalCategories", ">= 2021.08-01" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2020.04.01" ], diff --git a/README.md b/README.md index 3be7b75..2604d77 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 258 operations for this category which +106 primitive operations were used to derive 259 operations for this category which * IsEquippedWithHomomorphismStructure * IsLinearCategoryOverCommutativeRing * IsSymmetricMonoidalCategory diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index f1b1034..f52c50b 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 258 operations for this category which +#! 106 primitive operations were used to derive 259 operations for this category which #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing #! * IsSymmetricMonoidalCategory diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 7f4170c..066e9dd 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 258 operations for this category which\n", + "106 primitive operations were used to derive 259 operations for this category which\n", "* IsEquippedWithHomomorphismStructure\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n",