diff --git a/PackageInfo.g b/PackageInfo.g index 54271d3..62e13c2 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,7 +10,7 @@ SetPackageInfo( rec( PackageName := "CatReps", Subtitle := "Representations and cohomology of finite categories", -Version := "2021.08-01", +Version := "2021.08-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.06-01" ], + [ "CAP", ">= 2021.08-02" ], [ "LinearAlgebraForCAP", ">= 2021.07-01" ], [ "FinSetsForCAP", ">= 2020.04.01" ], [ "CategoryConstructor", ">= 2020.06-01" ], diff --git a/README.md b/README.md index 7589f25..d9ea7a3 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 243 operations for this category which +106 primitive operations were used to derive 245 operations for this category which * IsLinearCategoryOverCommutativeRing * IsSymmetricMonoidalCategory * IsAbelianCategory diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index a5b1daa..5528700 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 243 operations for this category which +#! 106 primitive operations were used to derive 245 operations for this category which #! * IsLinearCategoryOverCommutativeRing #! * IsSymmetricMonoidalCategory #! * IsAbelianCategory diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index edbe4d7..3988549 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 243 operations for this category which\n", + "106 primitive operations were used to derive 245 operations for this category which\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n", "* IsAbelianCategory\n"