mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-08-16 18:06:57 +02:00
use === for checking parent in Base.:*
This commit is contained in:
parent
f5f173fdb8
commit
31cf3b552d
@ -457,7 +457,7 @@ end
|
|||||||
|
|
||||||
function *(X::GroupRingElem{T}, Y::GroupRingElem{T}, check::Bool=true) where T
|
function *(X::GroupRingElem{T}, Y::GroupRingElem{T}, check::Bool=true) where T
|
||||||
if check
|
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
|
end
|
||||||
if hasbasis(parent(X))
|
if hasbasis(parent(X))
|
||||||
result = parent(X)(similar(X.coeffs))
|
result = parent(X)(similar(X.coeffs))
|
||||||
@ -471,7 +471,7 @@ end
|
|||||||
|
|
||||||
function *(X::GroupRingElem{T}, Y::GroupRingElem{S}, check::Bool=true) where {T,S}
|
function *(X::GroupRingElem{T}, Y::GroupRingElem{S}, check::Bool=true) where {T,S}
|
||||||
if check
|
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
|
end
|
||||||
|
|
||||||
TT = typeof(first(X.coeffs)*first(Y.coeffs))
|
TT = typeof(first(X.coeffs)*first(Y.coeffs))
|
||||||
|
Loading…
Reference in New Issue
Block a user