diff --git a/PackageInfo.g b/PackageInfo.g index c842049..22cec56 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -15,7 +15,9 @@ Version := Maximum( [ ## this line prevents merge conflicts "2020.10-02", ## Tibor's version ## this line prevents merge conflicts - "2020.01.01", ## Peter's version + "2020.01-01", ## Peter's version + ## this line prevents merge conflicts + "2021.07-01", ## Fabian's version ] ), Date := ~.Version{[ 1 .. 10 ]}, @@ -106,7 +108,7 @@ Dependencies := rec( GAP := ">= 4.9.1", NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ], - [ "CAP", ">= 2020.04.27" ], + [ "CAP", ">= 2021.06-01" ], [ "FinSetsForCAP", ">= 2020.04.01" ], [ "CategoryConstructor", ">= 2020.06-01" ], [ "SubcategoriesForCAP", ">= 2020.06-01" ], diff --git a/README.md b/README.md index ba89312..7589f25 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 240 operations for this category which +106 primitive operations were used to derive 243 operations for this category which * IsLinearCategoryOverCommutativeRing * IsSymmetricMonoidalCategory * IsAbelianCategory diff --git a/examples/CategoryOfRepresentations.g b/examples/CategoryOfRepresentations.g index 8ed42a9..0b6eaa1 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 240 operations for this category which +#! 106 primitive operations were used to derive 243 operations for this category which #! * IsLinearCategoryOverCommutativeRing #! * IsSymmetricMonoidalCategory #! * IsAbelianCategory diff --git a/examples/julia/notebooks/CategoryOfRepresentations.ipynb b/examples/julia/notebooks/CategoryOfRepresentations.ipynb index 31e52b0..7e73ce6 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 240 operations for this category which\n", + "106 primitive operations were used to derive 243 operations for this category which\n", "* IsLinearCategoryOverCommutativeRing\n", "* IsSymmetricMonoidalCategory\n", "* IsAbelianCategory\n"