From 15a003ab72bfe20ad2e085a5f9160dd919bb706e Mon Sep 17 00:00:00 2001 From: kalmarek Date: Fri, 17 Nov 2017 15:27:03 +0100 Subject: [PATCH] broader *(::{}, ::GroupRingElem) to prevent Nemo generic *(::, RingElem) --- src/GroupRings.jl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 1b1e1f4..513bce1 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -295,8 +295,8 @@ end (*)(a, X::GroupRingElem) = mul(a,X) (*)(X::GroupRingElem, a) = mul(a,X) -# disallow Nemo.Rings to hijack *(::Integer, ::RingElem) -(*)(a::Union{Integer, Rational}, X::GroupRingElem) = mul(a,X) +# disallow Nemo.Rings to hijack *(::, ::GroupRingElem) +*(a::Union{AbstractFloat, Integer, Nemo.RingElem, Rational}, X::GroupRingElem) = mul(a,X) (/)(X::GroupRingElem, a) = 1/a*X