More methods Dual(::ExactReal)

JuliaIntervals · Oct 14, 2024 · d30a6ef · d30a6ef
1 parent 2c466d2
commit d30a6ef
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/ext/IntervalArithmeticForwardDiffExt.jl b/ext/IntervalArithmeticForwardDiffExt.jl
@@ -6,6 +6,10 @@ using ForwardDiff: Dual, ≺, value, partials
 # Needed to avoid method ambiguities:
 ForwardDiff.can_dual(::Type{ExactReal}) = true
 Dual(x::ExactReal) = Dual{Nothing, typeof(x), 0}(x.value)
+Dual{T}(x::ExactReal) where {T} = Dual{T, typeof(x), 0}(x.value)
+Dual{T, V}(x::ExactReal) where {T, V<:Real} = convert(Dual{T, V, 0}, x)
+Dual{T, V, N}(x::ExactReal) where {T, V<:Real, N} = convert(Dual{T, V, N}, x)
+
 Base.convert(::Type{Dual{T, V, N}}, x::ExactReal) where {T, V, N} = promote_rule(Dual{T, V, N}, typeof(x))(x.value)
 
 Base.promote_rule(::Type{Dual{T, V, N}}, ::Type{Interval{S}}) where {T, V, N, S<:Union{AbstractFloat, Rational}} =