remove deepcopy_internal

This commit is contained in:
kalmarek 2018-09-21 21:11:52 +02:00
parent 04f29f0b34
commit d85d7c76c6
1 changed files with 0 additions and 4 deletions

View File

@ -185,10 +185,6 @@ end
#
###############################################################################
function deepcopy_internal(X::GroupRingElem, dict::ObjectIdDict)
return GroupRingElem(deepcopy(X.coeffs), parent(X))
end
function hash(X::GroupRingElem, h::UInt)
return hash(X.coeffs, hash(parent(X), hash(GroupRingElem, h)))
end