1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-25 02:05:30 +01:00

construct parent object on the fly

This commit is contained in:
kalmar 2017-07-12 21:05:55 +02:00
parent 8631e5d16b
commit 78eded0124

View File

@ -32,7 +32,7 @@ elem_type(G::DirectProductGroup) = DirectProductGroupElem
parent_type(::Type{DirectProductGroupElem}) = DirectProductGroup
parent(g::DirectProductGroupElem) = g.parent
parent(g::DirectProductGroupElem) = DirectProductGroup([parent(h) for h in g.elts])
###############################################################################
#