diff --git a/src/Rings/mpoly-localizations.jl b/src/Rings/mpoly-localizations.jl index e54390441342..4a0cafd3782b 100644 --- a/src/Rings/mpoly-localizations.jl +++ b/src/Rings/mpoly-localizations.jl @@ -1162,6 +1162,7 @@ function Base.:(/)(a::ZZRingElem, b::T) where {T<:MPolyLocRingElem} end function Base.:(/)(a::T, b::T) where {T<:MPolyLocRingElem} + return divexact(a, b) parent(a) == parent(b) || error("the arguments do not have the same parent ring") g = gcd(numerator(a), numerator(b)) c = divexact(numerator(a), g)