Merge pull request #82 from mohamed-barakat/devel

comply with CAP v2022.08-04

Author: mohamed-barakat

Project.toml

@@ -1,7 +1,7 @@
 name = "HomalgProject"
 uuid = "50bd374c-87b5-11e9-015a-2febe71398bd"
 authors = ["Mohamed Barakat <mohamed.barakat@uni-siegen.de>"]
-version = "1.2.2"
+version = "1.2.3"
 
 [deps]
 CapAndHomalg = "c4774649-1891-41ea-a883-87141804c57c"

docs/src/examples.md

@@ -238,7 +238,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 290 operations for this category which constructively
+40 primitive operations were used to derive 292 operations for this category which constructively
 * IsMonoidalCategory
 * IsAbelianCategoryWithEnoughProjectives
 
@@ -305,7 +305,7 @@ julia> CohP1 = Sgrmod / C
 GAP: The Serre quotient category of The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ]) by test function with name: is_artinian
 
 julia> InfoOfInstalledOperationsOfCategory( CohP1 )
-21 primitive operations were used to derive 241 operations for this category which constructively
+21 primitive operations were used to derive 243 operations for this category which constructively
 * IsAbelianCategory
 
 julia> Sh = CanonicalProjection( CohP1 )