mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-11-19 14:35:28 +01:00
don't construct parent(::WreatProductElem) when not necessary
This commit is contained in:
parent
7c1a96b64e
commit
68df946c81
@ -122,8 +122,7 @@ doc"""
|
|||||||
###############################################################################
|
###############################################################################
|
||||||
|
|
||||||
function deepcopy_internal(g::WreathProductElem, dict::ObjectIdDict)
|
function deepcopy_internal(g::WreathProductElem, dict::ObjectIdDict)
|
||||||
G = parent(g)
|
return WreathProductElem(deepcopy(g.n), deepcopy(g.p))
|
||||||
return G(deepcopy(g.n), deepcopy(g.p))
|
|
||||||
end
|
end
|
||||||
|
|
||||||
function hash(G::WreathProduct, h::UInt)
|
function hash(G::WreathProduct, h::UInt)
|
||||||
|
Loading…
Reference in New Issue
Block a user