From 486f2cff9ae2c5c3d00190c6fc6553557ce30130 Mon Sep 17 00:00:00 2001 From: kalmar Date: Thu, 18 May 2017 12:19:12 +0200 Subject: [PATCH] add eltype(::GroupRingElem) --- src/GroupRings.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 69c65bf..258e46e 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -3,7 +3,7 @@ module GroupRings using Nemo import Nemo: Group, GroupElem, Ring, RingElem, parent, elem_type, parent_type -import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal, getindex, setindex! +import Base: convert, show, hash, ==, +, -, *, //, /, length, norm, rationalize, deepcopy_internal, getindex, setindex!, eltype ############################################################################### # @@ -160,6 +160,8 @@ function setindex!(X::GroupRingElem, value, g::GroupElem) X.coeffs[RG.basis_dict[g]] = value end +eltype(X::GroupRingElem) = eltype(X.coeffs) + function generators(RG::GroupRing) S = generators(RG.group) S = unique([S..., [inv(s) for s in S]...])