From 46a92063c33e26bda4c4b4b88bd16b09b205ae29 Mon Sep 17 00:00:00 2001
From: Lars Kastner <lars.kastner@posteo.de>
Date: Mon, 25 Mar 2024 12:31:33 +0100
Subject: [PATCH 1/2] Hide Oscar banner, when used in other module

---
 Project.toml | 2 +-
 src/Oscar.jl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Project.toml b/Project.toml
index 086bba8f3a59..92fa8fd09476 100644
--- 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
index 1ae219a50eb0..5b526bf83d8a 100644
--- 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 isinteractive() && Base.JLOptions().banner != 0 && AbstractAlgebra.should_show_banner()
     _print_banner()
   end
 

From ac205af8f7c997fd552a3c942eea5189519f92a3 Mon Sep 17 00:00:00 2001
From: Lars Kastner <lars.kastner@posteo.de>
Date: Wed, 10 Apr 2024 15:51:09 +0200
Subject: [PATCH 2/2] Remove calls that are covered by AA general method

---
 src/Oscar.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Oscar.jl b/src/Oscar.jl
index 5b526bf83d8a..c27eb2038f76 100644
--- 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 && AbstractAlgebra.should_show_banner()
+  if AbstractAlgebra.should_show_banner()
     _print_banner()
   end