From afaff8cc41e1458ef41b8fdaf17792f7bc1e7d06 Mon Sep 17 00:00:00 2001 From: kalmar Date: Tue, 1 Aug 2017 10:31:35 +0200 Subject: [PATCH] add elem_type(::Type{GroupRing{T,S}}) --- src/GroupRings.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 7a4ad4e..97f08ea 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -68,7 +68,7 @@ export GroupRing, GroupRingElem, complete!, create_pm, star # ############################################################################### -elem_type(::Type{GroupRing}) = GroupRingElem +elem_type{T,S}(::Type{GroupRing{T,S}}) = GroupRingElem parent_type(::Type{GroupRingElem}) = GroupRing