From 256681443566e34baa037357ed047227451c8a1c Mon Sep 17 00:00:00 2001
From: Lars Kastner <lars.kastner@posteo.de>
Date: Mon, 25 Mar 2024 12:32:17 +0100
Subject: [PATCH] Hide Polymake.jl banner, when used in other module

---
 Project.toml    | 2 ++
 src/Polymake.jl | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 84b5fbe6..797c19b2 100644
--- a/Project.toml
+++ b/Project.toml
@@ -4,6 +4,7 @@ repo = "https://github.com/oscar-system/Polymake.jl.git"
 version = "0.11.15"
 
 [deps]
+AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"
 BinaryWrappers = "f01c122e-0ea1-4f85-ad8f-907073ad7a9f"
 CxxWrap = "1f15a43c-97ca-5a2a-ae31-89f07a497df4"
 Downloads = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
@@ -43,3 +44,4 @@ lib4ti2_jll = "^1.6.10"
 libpolymake_julia_jll = "~0.11.1"
 polymake_jll = "^400.1100.1"
 polymake_oscarnumber_jll = "~0.2.7"
+AbstractAlgebra = "~0.40.5"
diff --git a/src/Polymake.jl b/src/Polymake.jl
index 8d3d43bb..afbf2da2 100644
--- a/src/Polymake.jl
+++ b/src/Polymake.jl
@@ -18,6 +18,7 @@ import Base: ==, <, <=, *, -, +, //, ^, div, rem, one, zero,
     length, numerator, push!, resize!,
     setdiff, setdiff!, setindex!, symdiff, symdiff!,
     union, union!
+import AbstractAlgebra: should_show_banner
 
 import Pkg
 import Downloads
@@ -240,7 +241,7 @@ function __init__()
 
     withenv(adjustenv...) do
        try
-           show_banner = isinteractive() && Base.JLOptions().banner != 0 &&
+           show_banner = should_show_banner() &&
                           !any(x->x.name in ["Oscar"], keys(Base.package_locks))
 
            initialize_polymake_with_dir("$(polymake_extension_config);user=$(polymake_user_dir)", installtop, installarch, show_banner)