Merge pull request #26 from mohamed-barakat/MonoidalCategories

comply with CAP v2021.08-03 and MonoidalCategories v2021.08-01
homalg-project · Aug 30, 2021 · d4f09d1 · d4f09d1 · mohamed-barakat · Aug 30, 2021
2 parents 3c0ad26 + f747e40
commit d4f09d1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "CapAndHomalg"
 uuid = "c4774649-1891-41ea-a883-87141804c57c"
 authors = ["Mohamed Barakat <[email protected]>"]
-version = "1.1.7"
+version = "1.1.8"
 
 [deps]
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"

diff --git a/docs/src/examples.md b/docs/src/examples.md
@@ -270,7 +270,7 @@ julia> Sgrmod = GradedLeftPresentations( S )
 GAP: The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ])
 
 julia> InfoOfInstalledOperationsOfCategory( Sgrmod )
-40 primitive operations were used to derive 172 operations for this category which
+40 primitive operations were used to derive 185 operations for this category which
 * IsAbCategory
 * IsMonoidalCategory
 * IsAbelianCategoryWithEnoughProjectives