mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-10-11 06:55:35 +02:00
broader *(::{}, ::GroupRingElem) to prevent Nemo generic *(::, RingElem)
This commit is contained in:
parent
9a1bb2e707
commit
15a003ab72
@ -295,8 +295,8 @@ end
|
|||||||
(*)(a, X::GroupRingElem) = mul(a,X)
|
(*)(a, X::GroupRingElem) = mul(a,X)
|
||||||
(*)(X::GroupRingElem, a) = mul(a,X)
|
(*)(X::GroupRingElem, a) = mul(a,X)
|
||||||
|
|
||||||
# disallow Nemo.Rings to hijack *(::Integer, ::RingElem)
|
# disallow Nemo.Rings to hijack *(::, ::GroupRingElem)
|
||||||
(*)(a::Union{Integer, Rational}, X::GroupRingElem) = mul(a,X)
|
*(a::Union{AbstractFloat, Integer, Nemo.RingElem, Rational}, X::GroupRingElem) = mul(a,X)
|
||||||
|
|
||||||
(/)(X::GroupRingElem, a) = 1/a*X
|
(/)(X::GroupRingElem, a) = 1/a*X
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user