diff --git a/PackageInfo.g b/PackageInfo.g index 7b010a2..cb0b6b9 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2022.10-04", +Version := "2022.11-01", Date := ~.Version{[ 1 .. 10 ]}, Date := Concatenation( "01/", ~.Version{[ 6, 7 ]}, "/", ~.Version{[ 1 .. 4 ]} ), @@ -100,7 +100,7 @@ Dependencies := rec( GAP := ">= 4.12.1", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], - [ "CAP", ">= 2022.09-17" ], + [ "CAP", ">= 2022.11-06" ], [ "MonoidalCategories", ">= 2021.08-01" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2022.05-07" ], diff --git a/README.md b/README.md index 40d7907..8a364ee 100644 --- a/README.md +++ b/README.md @@ -58,7 +58,7 @@ The supported categorical doctrine of the category of representations is ```gap gap> InfoOfInstalledOperationsOfCategory( CatReps ); -95 primitive operations were used to derive 317 operations for this category +95 primitive operations were used to derive 318 operations for this category which constructively * IsEquippedWithHomomorphismStructure * IsLinearCategoryOverCommutativeRing diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index d065644..64399a3 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 317 operations for this category +#! 95 primitive operations were used to derive 318 operations for this category #! which algorithmically #! * IsEquippedWithHomomorphismStructure #! * IsLinearCategoryOverCommutativeRing diff --git a/examples/notebooks/CategoryOfRepresentations.ipynb b/examples/notebooks/CategoryOfRepresentations.ipynb index e23d3e2..10fd314 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 317 operations for this category which algorithmically\n", + "95 primitive operations were used to derive 318 operations for this category which algorithmically\n", "* IsEquippedWithHomomorphismStructure\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n",