Add Dual(x::ExactReal)

JuliaIntervals · Oct 14, 2024 · 2c466d2 · 2c466d2
1 parent a56fa01
commit 2c466d2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ext/IntervalArithmeticForwardDiffExt.jl b/ext/IntervalArithmeticForwardDiffExt.jl
@@ -5,6 +5,7 @@ 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)
 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}} =