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

no need to parametrize parent by type of coefficients

This commit is contained in:
kalmar 2017-07-25 14:47:59 +02:00
parent 0d3dad9c4d
commit 39039f9ec1

View File

@ -74,7 +74,7 @@ parent_type(::Type{GroupRingElem}) = GroupRing
eltype(X::GroupRingElem) = eltype(X.coeffs)
parent{T}(g::GroupRingElem{T}) = g.parent
parent(g::GroupRingElem) = g.parent
Base.promote_rule{T<:Number,S<:Number}(::Type{GroupRingElem{T}}, ::Type{GroupRingElem{S}}) = GroupRingElem{promote_type(T,S)}