1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-11-19 06:30:29 +01:00

remove specific deepcopy_internal -- handled by general in Groups.jl

This commit is contained in:
kalmar 2017-05-15 17:19:59 +02:00
parent 6121c38d7f
commit 3de09cbab5

View File

@ -174,11 +174,6 @@ end
#
###############################################################################
function deepcopy_internal(g::AutGroupElem, dict::ObjectIdDict)
G = parent(g)
return G(AutGroupElem(g.str, g.pow, g.ex, g.func))
end
hash(s::AutSymbol, h::UInt) = hash(s.str, hash(s.pow, hash(:AutSymbol, h)))
function change_pow(s::AutSymbol, n::Int)