From 7c1a96b64e20414a456fc125dd8218eea1089027 Mon Sep 17 00:00:00 2001 From: kalmar Date: Fri, 21 Jul 2017 14:29:38 +0200 Subject: [PATCH] don't compare parents when parents are constructable --- src/DirectProducts.jl | 1 - src/WreathProducts.jl | 1 - 2 files changed, 2 deletions(-) diff --git a/src/DirectProducts.jl b/src/DirectProducts.jl index fcbda58..8bac17f 100644 --- a/src/DirectProducts.jl +++ b/src/DirectProducts.jl @@ -143,7 +143,6 @@ doc""" > Checks if two direct product group elements are the same. """ function (==)(g::DirectProductGroupElem, h::DirectProductGroupElem) - parent(g) == parent(h) || return false g.elts == h.elts || return false return true end diff --git a/src/WreathProducts.jl b/src/WreathProducts.jl index 56d2a07..1b02ed5 100644 --- a/src/WreathProducts.jl +++ b/src/WreathProducts.jl @@ -163,7 +163,6 @@ function (==)(G::WreathProduct, H::WreathProduct) end function (==)(g::WreathProductElem, h::WreathProductElem) - parent(g) == parent(h) || return false g.n == h.n || return false g.p == h.p || return false return true