From 19f6906d337813df1f8ab7a598f5a7fb4d8c5280 Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 6 Jul 2017 10:06:17 +0200 Subject: [PATCH] add parent_type(::Type{GroupRingElem}) --- src/GroupRings.jl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index b44be25..4959921 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -62,7 +62,8 @@ export GroupRing, GroupRingElem, complete, create_pm elem_type(::GroupRing) = GroupRingElem -parent_type{T}(::GroupRingElem{T}) = GroupRing +parent_type(::GroupRingElem) = GroupRing +parent_type(::Type{GroupRingElem}) = GroupRing parent{T}(g::GroupRingElem{T}) = g.parent