Merge pull request #82 from mohamed-barakat/devel

comply with CAP v2023.12-02

Author: mohamed-barakat

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 )
-38 primitive operations were used to derive 331 operations for this category which algorithmically
+38 primitive operations were used to derive 332 operations for this category which algorithmically
 * IsMonoidalCategory
 * IsAbelianCategoryWithEnoughProjectives
 and not yet algorithmically
@@ -307,7 +307,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 286 operations for this category which algorithmically
+21 primitive operations were used to derive 287 operations for this category which algorithmically
 * IsAbelianCategory
 
 julia> Sh = CanonicalProjection( CohP1 )