Hide Oscar.jl banner, when used in other module (#3541)

Hide Oscar banner, when used in other module
oscar-system · Apr 11, 2024 · 6894701 · 6894701
1 parent 4424855
commit 6894701
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -25,7 +25,7 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
 cohomCalg_jll = "5558cf25-a90e-53b0-b813-cadaa3ae7ade"
 
 [compat]
-AbstractAlgebra = "0.40.6"
+AbstractAlgebra = "0.40.8"
 AlgebraicSolving = "0.4.11"
 Distributed = "1.6"
 DocStringExtensions = "0.8, 0.9"

diff --git a/src/Oscar.jl b/src/Oscar.jl
@@ -58,7 +58,7 @@ function __init__()
   # initialize random seed
   set_seed!(rand(UInt32))
 
-  if isinteractive() && Base.JLOptions().banner != 0
+  if AbstractAlgebra.should_show_banner()
     _print_banner()
   end