From e76d83a97bf3e70437f37701d1e98703d0d68642 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Thu, 5 Dec 2024 22:28:36 +0100 Subject: [PATCH] Fix base_ring_type for ClassField (#1698) --- src/RCF/class_fields.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/RCF/class_fields.jl b/src/RCF/class_fields.jl index 8e2206b2c2..9852b165ff 100644 --- a/src/RCF/class_fields.jl +++ b/src/RCF/class_fields.jl @@ -62,7 +62,7 @@ function base_ring(A::ClassField) return order(codomain(A.rayclassgroupmap)) end -base_ring_type(A::ClassField) = AbsNumFieldOrder{AbsSimpleNumField, AbsSimpleNumFieldElem} +base_ring_type(::Type{ClassField}) = AbsNumFieldOrder{AbsSimpleNumField, AbsSimpleNumFieldElem} @doc raw""" base_field(A::ClassField)