Merge pull request #108 from mohamed-barakat/devel

comply with CAP, MonoidalCategories, CartesianCategories

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

src/CapAndHomalg.jl

@@ -210,8 +210,8 @@ function __init__()
     if show_banner
         print("CapAndHomalg v")
         printstyled("$version\n", color = :green)
-        print("Imported OSCAR's components GAP and Singular_jll\n")
-        print("Type: ?CapAndHomalg for more information\n")
+        println("Imported OSCAR's components GAP and Singular_jll")
+        println("Type: ?CapAndHomalg for more information")
     end
 
 end

src/conversions.jl

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