From 31cf3b552db93da00509e665ac2303a4bfa967bc Mon Sep 17 00:00:00 2001 From: kalmarek Date: Thu, 27 Aug 2020 10:18:46 +0200 Subject: [PATCH] use === for checking parent in Base.:* --- src/GroupRings.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index ee1f4cf..bb5e5cd 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -457,7 +457,7 @@ end function *(X::GroupRingElem{T}, Y::GroupRingElem{T}, check::Bool=true) where T if check - parent(X) == parent(Y) || throw("Elements don't seem to belong to the same Group Ring!") + parent(X) === parent(Y) || throw("Elements don't seem to belong to the same Group Ring!") end if hasbasis(parent(X)) result = parent(X)(similar(X.coeffs)) @@ -471,7 +471,7 @@ end function *(X::GroupRingElem{T}, Y::GroupRingElem{S}, check::Bool=true) where {T,S} if check - parent(X) == parent(Y) || throw("Elements don't seem to belong to the same Group Ring!") + parent(X) === parent(Y) || throw("Elements don't seem to belong to the same Group Ring!") end TT = typeof(first(X.coeffs)*first(Y.coeffs))