Update ext

Author: OlivierHnt

Project.toml

@@ -29,7 +29,7 @@ IntervalArithmeticSparseArraysExt = "SparseArrays"
 [compat]
 CRlibm = "1.0.2"
 DiffRules = "1"
-ForwardDiff = "0.10"
+ForwardDiff = "1"
 IntervalSets = "0.7"
 LinearAlgebra = "1.10"
 MacroTools = "0.5"

ext/IntervalArithmeticDiffRulesExt.jl

@@ -3,8 +3,8 @@ module IntervalArithmeticDiffRulesExt
 using IntervalArithmetic
 import DiffRules
 
-function DiffRules._abs_deriv(x::Interval)
-    r = sign(bareinterval(x))
+function DiffRules._abs_deriv(x::Interval{T}) where {T<:IntervalArithmetic.NumTypes}
+    r = ifelse(isthinzero(x), bareinterval(-one(T), one(T)), sign(bareinterval(x)))
     d = decoration(x)
     d = min(d, ifelse(in_interval(0, x), trv, d)) # if `x` contains 0, then `trv` decoration
     return IntervalArithmetic._unsafe_interval(r, d, isguaranteed(x))

ext/IntervalArithmeticForwardDiffExt.jl

@@ -14,9 +14,9 @@ ForwardDiff.Dual{T,V}(x::ExactReal) where {T,V} = convert(Dual{T,V}, x)
 
 Base.convert(::Type{Dual{T,V,N}}, x::ExactReal) where {T,V,N} = Dual{T}(V(x), zero(Partials{N,V}))
 
-Base.promote_rule(::Type{Dual{T, V, N}}, ::Type{Interval{S}}) where {T, V, N, S<:Union{AbstractFloat, Rational}} =
+Base.promote_rule(::Type{Dual{T, V, N}}, ::Type{Interval{S}}) where {T, V, N, S<:IntervalArithmetic.NumTypes} =
     Dual{T,Interval{IntervalArithmetic.promote_numtype(V, S)},N}
-Base.promote_rule(::Type{Interval{S}}, ::Type{Dual{T, V, N}}) where {S<:Union{AbstractFloat, Rational}, T, V, N} =
+Base.promote_rule(::Type{Interval{S}}, ::Type{Dual{T, V, N}}) where {S<:IntervalArithmetic.NumTypes, T, V, N} =
     Dual{T,Interval{IntervalArithmetic.promote_numtype(V, S)},N}
 Base.promote_rule(::Type{ExactReal{S}}, ::Type{Dual{T, V, N}}) where {S<:Real, T, V, N} =
     Dual{T,ExactReal{IntervalArithmetic.promote_numtype(V, S)},N}