From 7994c2d30837390f6c07e593698101e86af7f5fa Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 17 May 2017 14:32:17 +0200 Subject: [PATCH] GroupRingElem is just a RingElem --- src/GroupRings.jl | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 8ddedbf..e397606 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -1,7 +1,7 @@ module GroupRings using Nemo -import Nemo: Group, GroupElem, Ring, parent, elem_type, parent_type +import Nemo: Group, GroupElem, Ring, RingElem, parent, elem_type, parent_type import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal, getindex, setindex! @@ -26,9 +26,7 @@ type GroupRing <: Ring end end -abstract AbstractGroupRingElem - -type GroupRingElem{T<:Number} <: AbstractGroupRingElem +type GroupRingElem{T<:Number} <: RingElem coeffs::AbstractVector{T} parent::GroupRing end