From 8a40d7614375c7f58c223c15d9b3701c17a58b5f Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 30 Jul 2018 14:54:54 +0200 Subject: [PATCH] add setindex!(::DirectProductGroupElem) --- src/DirectProducts.jl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index a0975fd..3185ddb 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -126,6 +126,11 @@ function Base.setindex!(g::DirectProductGroupElem{T}, v::T, i::Int) where {T} return g end +function Base.setindex!(g::DirectProductGroupElem{T}, v::S, i::Int) where {T, S} + g.elts[i] = parent(g.elts[i])(v) + return g +end + ############################################################################### # # DirectProductGroup / DirectProductGroupElem constructors