mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-12-05 02:11:27 +01:00
operations field is no more
This commit is contained in:
parent
674fa9f9d3
commit
a5a67bd7d3
@ -94,7 +94,7 @@ function deepcopy_internal(g::DirectProductGroupElem, dict::ObjectIdDict)
|
|||||||
end
|
end
|
||||||
|
|
||||||
function hash(G::DirectProductGroup, h::UInt)
|
function hash(G::DirectProductGroup, h::UInt)
|
||||||
return hash(G.factors, hash(G.operations, hash(DirectProductGroup,h)))
|
return hash(G.factors, hash(DirectProductGroup,h))
|
||||||
end
|
end
|
||||||
|
|
||||||
function hash(g::DirectProductGroupElem, h::UInt)
|
function hash(g::DirectProductGroupElem, h::UInt)
|
||||||
@ -131,7 +131,6 @@ end
|
|||||||
|
|
||||||
function (==)(G::DirectProductGroup, H::DirectProductGroup)
|
function (==)(G::DirectProductGroup, H::DirectProductGroup)
|
||||||
G.factors == H.factors || return false
|
G.factors == H.factors || return false
|
||||||
G.operations == H.operations || return false
|
|
||||||
return true
|
return true
|
||||||
end
|
end
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user