From b76ce2616909eeb3e75369366f6b2c516874708f Mon Sep 17 00:00:00 2001 From: ThomasBreuer Date: Thu, 11 Apr 2024 10:26:07 +0200 Subject: [PATCH] export `relative_field` from module `Misc` --- experimental/GModule/Misc.jl | 3 +++ 1 file changed, 3 insertions(+) diff --git a/experimental/GModule/Misc.jl b/experimental/GModule/Misc.jl index 8f2ac238bcb1..29fc41d34952 100644 --- a/experimental/GModule/Misc.jl +++ b/experimental/GModule/Misc.jl @@ -2,6 +2,8 @@ module Misc using Oscar import Base: ==, parent +export relative_field + Hecke.minpoly(a::QQBarFieldElem) = minpoly(Hecke.Globals.Qx, a) function primitive_element(a::Vector{QQBarFieldElem}) @@ -508,3 +510,4 @@ end end # module using .Misc +export relative_field