Resolve ambiguity between divexact methods

Nemocas · Nov 1, 2023 · 82e5c4c · 82e5c4c
1 parent 93be9a0
commit 82e5c4c
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/src/generic/FunctionField.jl b/src/generic/FunctionField.jl
@@ -1027,12 +1027,22 @@ function divexact(a::FunctionFieldElem, b::RingElem; check::Bool=true)
 end
 
 function divexact(a::Union{Rational, Integer},
-                                       b::FunctionFieldElem; check::Bool=true)
+            b::FunctionFieldElem{T}; check::Bool=true) where T <: FieldElement
    return a*inv(b)
 end
 
 function divexact(a::T,
-            b::FunctionFieldElem{T}; check::Bool=true) where T <: FieldElement
+            b::FunctionFieldElem{T}; check::Bool=true) where T <: Integer
+   return a*inv(b)
+end
+
+function divexact(a::T,
+            b::FunctionFieldElem{T}; check::Bool=true) where T <: Rational
+   return a*inv(b)
+end
+
+function divexact(a::T,
+            b::FunctionFieldElem{T}; check::Bool=true) where T <: FieldElem
    return a*inv(b)
 end