comply with CAP, MonoidalCategories, CartesianCategories

* CAP v2026.05-02
* MonoidalCategories v2026.05-01
* CartesianCategories v2026.05-01

Author: mohamed-barakat

Project.toml

@@ -1,7 +1,7 @@
 name = "CapAndHomalg"
 uuid = "c4774649-1891-41ea-a883-87141804c57c"
 authors = ["Mohamed Barakat <mohamed.barakat@uni-siegen.de>"]
-version = "1.6.10"
+version = "1.6.11"
 
 [deps]
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"

docs/src/examples.md

@@ -237,8 +237,8 @@ GAP: Q[x,y]
 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 229 operations for this category which algorithmically
+julia> Display( Sgrmod )
+38 primitive operations were used to derive 242 operations for this category which algorithmically
 * IsAbelianCategoryWithEnoughProjectives
 * IsAdditiveMonoidalCategory
 and not yet algorithmically
@@ -306,8 +306,8 @@ GAP: <Subcategory of The category of graded left f.p. modules over Q[x,y] (with
 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 188 operations for this category which algorithmically
+julia> Display( CohP1 )
+21 primitive operations were used to derive 197 operations for this category which algorithmically
 * IsAbelianCategory
 
 julia> Sh = CanonicalProjection( CohP1 )

src/conversions.jl

@@ -95,9 +95,3 @@ function Display(obj::GapObj)
 end
 
 export Display
-
-function InfoOfInstalledOperationsOfCategory(obj::GapObj)
-    Display(InfoStringOfInstalledOperationsOfCategory(obj))
-end
-
-export InfoOfInstalledOperationsOfCategory