Merge pull request #37 from homalg-project/Monoidal

homalg-project · Dec 16, 2021 · e8ac865 · e8ac865
2 parents 1f15f2a + 483bb27
commit e8ac865
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/src/examples.md b/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 196 operations for this category which
+40 primitive operations were used to derive 246 operations for this category which
 * IsAbCategory
 * IsMonoidalCategory
 * IsAbelianCategoryWithEnoughProjectives
@@ -306,7 +306,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 155 operations for this category which
+21 primitive operations were used to derive 197 operations for this category which
 * IsAbCategory
 * IsAbelianCategory