1
0
mirror of https://github.com/kalmarek/Groups.jl.git synced 2024-12-05 02:11:27 +01:00

don't compare parents when parents are constructable

This commit is contained in:
kalmar 2017-07-21 14:29:38 +02:00
parent 89b89f13a5
commit 7c1a96b64e
2 changed files with 0 additions and 2 deletions

View File

@ -143,7 +143,6 @@ doc"""
> Checks if two direct product group elements are the same. > Checks if two direct product group elements are the same.
""" """
function (==)(g::DirectProductGroupElem, h::DirectProductGroupElem) function (==)(g::DirectProductGroupElem, h::DirectProductGroupElem)
parent(g) == parent(h) || return false
g.elts == h.elts || return false g.elts == h.elts || return false
return true return true
end end

View File

@ -163,7 +163,6 @@ function (==)(G::WreathProduct, H::WreathProduct)
end end
function (==)(g::WreathProductElem, h::WreathProductElem) function (==)(g::WreathProductElem, h::WreathProductElem)
parent(g) == parent(h) || return false
g.n == h.n || return false g.n == h.n || return false
g.p == h.p || return false g.p == h.p || return false
return true return true