From 6285015c2800f60a7d9c51f133792e6bde1b19af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Fri, 2 Jun 2023 20:25:35 +0200 Subject: [PATCH] Remove `QQBar` export --- src/imports.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/imports.jl b/src/imports.jl index 89858a9fe210..0608d4d2abef 100644 --- a/src/imports.jl +++ b/src/imports.jl @@ -175,6 +175,7 @@ let exclude_hecke = [ :narrow_class_group, :Partition, :perm, + :QQBar, :SymmetricGroup, :tail, :terms, @@ -192,6 +193,7 @@ import Hecke: IntegerUnion, MapHeader, multiplicative_jordan_decomposition, - primitive_element + primitive_element, + QQBar import cohomCalg_jll