1
0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-12-29 11:00:28 +01:00

add eltype(::GroupRingElem)

This commit is contained in:
kalmar 2017-05-18 12:19:12 +02:00
parent 9048eb656d
commit 486f2cff9a

View File

@ -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]...])