From a5a67bd7d3a7d9811b0e2e63db076991560bb9c8 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 12 Jul 2017 21:11:12 +0200 Subject: [PATCH] operations field is no more --- src/DirectProducts.jl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index f324b29..4e6b7a5 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -94,7 +94,7 @@ function deepcopy_internal(g::DirectProductGroupElem, dict::ObjectIdDict) end function hash(G::DirectProductGroup, h::UInt) - return hash(G.factors, hash(G.operations, hash(DirectProductGroup,h))) + return hash(G.factors, hash(DirectProductGroup,h)) end function hash(g::DirectProductGroupElem, h::UInt) @@ -131,7 +131,6 @@ end function (==)(G::DirectProductGroup, H::DirectProductGroup) G.factors == H.factors || return false - G.operations == H.operations || return false return true end