Attempt to replace division by divexact.

HechtiDerLachs · Jul 29, 2024 · 02f9c9c · 02f9c9c
1 parent bfcfee3
commit 02f9c9c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)