Skip to content

Commit 8dbf261

Browse files
Merge pull request #78 from mohamed-barakat/devel
comply with new CAP packages
2 parents 6120a0f + 435f441 commit 8dbf261

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

docs/src/examples.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -238,11 +238,11 @@ julia> Sgrmod = GradedLeftPresentations( S )
238238
GAP: The category of graded left f.p. modules over Q[x,y] (with weights [ 1, 1 ])
239239
240240
julia> InfoOfInstalledOperationsOfCategory( Sgrmod )
241-
40 primitive operations were used to derive 327 operations for this category which algorithmically
241+
38 primitive operations were used to derive 329 operations for this category which algorithmically
242242
* IsMonoidalCategory
243243
* IsAbelianCategoryWithEnoughProjectives
244-
and furthermore mathematically
245-
* IsSymmetricClosedMonoidalCategory (but not yet algorithmically)
244+
and not yet algorithmically
245+
* IsSymmetricClosedMonoidalCategory
246246
247247
julia> #ListPrimitivelyInstalledOperationsOfCategory( Sgrmod )
248248
@@ -307,7 +307,7 @@ julia> CohP1 = Sgrmod / C
307307
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
308308
309309
julia> InfoOfInstalledOperationsOfCategory( CohP1 )
310-
21 primitive operations were used to derive 280 operations for this category which algorithmically
310+
21 primitive operations were used to derive 284 operations for this category which algorithmically
311311
* IsAbelianCategory
312312
313313
julia> Sh = CanonicalProjection( CohP1 )

0 commit comments

Comments
 (0)