From 50e54fbe3b71cd2227a297f1aa3fd789a7b4dd28 Mon Sep 17 00:00:00 2001 From: kalmar Date: Wed, 17 May 2017 14:36:55 +0200 Subject: [PATCH] division works the other way --- src/GroupRings.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/GroupRings.jl b/src/GroupRings.jl index 2eb2bf7..a14fbe9 100644 --- a/src/GroupRings.jl +++ b/src/GroupRings.jl @@ -211,7 +211,7 @@ end # disallow Nemo.Rings to hijack *(::Integer, ::RingElem) (*){T<:Integer}(a::T, X::GroupRingElem) = scalar_mult(a, X) -(/){T<:Number}(a::T, X::GroupRingElem) = scalar_multiplication(1/a, X) +(/)(X::GroupRingElem, a) = scalar_mult(1/a, X) (//){T<:Rational, S<:Rational}(X::GroupRingElem{T}, a::S) = GroupRingElem(X.coeffs//a, parent(X))