Merge pull request #22 from mohamed-barakat/CAP

Cap
homalg-project · Jul 16, 2021 · dbc373f · dbc373f · mohamed-barakat · Jul 16, 2021
2 parents 5a91d11 + 4c71f30
commit dbc373f
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "CapAndHomalg"
 uuid = "c4774649-1891-41ea-a883-87141804c57c"
 authors = ["Mohamed Barakat <[email protected]>"]
-version = "1.1.6"
+version = "1.1.7"
 
 [deps]
 GAP = "c863536a-3901-11e9-33e7-d5cd0df7b904"

diff --git a/bin/gap-with-cap-and-homalg-via-julia b/bin/gap-with-cap-and-homalg-via-julia
@@ -9,7 +9,7 @@ exec julia --startup-file=no -- "${BASH_SOURCE[0]}" "$@"
 =#
 
 # pass command line arguments to GAP.jl via a small hack
-ENV["GAP_SHOW_BANNER"] = "true"
+ENV["GAP_PRINT_BANNER"] = "true"
 __GAP_ARGS__ = ARGS
 using CapAndHomalg
 SizeScreen(SIZE_SCREEN_ORIGINAL)

diff --git a/docs/src/examples.md b/docs/src/examples.md
@@ -270,7 +270,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 179 operations for this category which
+40 primitive operations were used to derive 172 operations for this category which
 * IsAbCategory
 * IsMonoidalCategory
 * IsAbelianCategoryWithEnoughProjectives

diff --git a/src/CapAndHomalg.jl b/src/CapAndHomalg.jl
@@ -198,8 +198,8 @@ function __init__()
 
     UseSystemSingular(false)
 
-    if haskey(ENV, "CAP_AND_HOMALG_SHOW_BANNER")
-        show_banner = ENV["CAP_AND_HOMALG_SHOW_BANNER"] == "true"
+    if haskey(ENV, "CAP_AND_HOMALG_PRINT_BANNER")
+        show_banner = ENV["CAP_AND_HOMALG_PRINT_BANNER"] == "true"
     else
         show_banner =
             isinteractive() && !any(x -> x.name in ["Oscar", "HomalgProject"], keys(Base.package_locks))