From 70ae90c10b109ede1208d55a67886848805a653a Mon Sep 17 00:00:00 2001 From: Mohamed Barakat Date: Tue, 17 Jan 2023 15:25:48 +0100 Subject: [PATCH] comply with CAP v2023.01-05 --- docs/src/examples.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/src/examples.md b/docs/src/examples.md index 2083562..9e0e6e3 100644 --- a/docs/src/examples.md +++ b/docs/src/examples.md @@ -238,9 +238,11 @@ 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 292 operations for this category which constructively +40 primitive operations were used to derive 325 operations for this category which algorithmically * IsMonoidalCategory * IsAbelianCategoryWithEnoughProjectives +and furthermore mathematically +* IsSymmetricClosedMonoidalCategory (but not yet algorithmically) julia> #ListPrimitivelyInstalledOperationsOfCategory( Sgrmod ) @@ -305,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 243 operations for this category which constructively +21 primitive operations were used to derive 278 operations for this category which algorithmically * IsAbelianCategory julia> Sh = CanonicalProjection( CohP1 )