Fix display of -0.0 to 0.0 (#500)

* Fix display of -0.0 to 0.0

* Add _normalisezero (instead of _signofzero) and fix display of inf

* Reposition use of _normalisezero

* fix atan2 for decorated intervals

* small update

* Clean-up _normalisezero

* Bump patch version

Co-authored-by: lucaferranti <[email protected]>

Author: lbenet

Project.toml

@@ -1,7 +1,7 @@
 name = "IntervalArithmetic"
 uuid = "d1acc4aa-44c8-5952-acd4-ba5d80a2a253"
 repo = "https://github.com/JuliaIntervals/IntervalArithmetic.jl.git"
-version = "0.20.1"
+version = "0.20.2"
 
 [deps]
 CRlibm = "96374032-68de-5a5b-8d9e-752f78720389"

src/decorations/functions.jl

@@ -314,8 +314,9 @@ function atan(yy::DecoratedInterval{T}, xx::DecoratedInterval{T}) where T
     # Check cases when decoration is trv and decays (from com or dac)
     if zero(T) ∈ y
         zero(T) ∈ x && return DecoratedInterval(r, trv)
-        if x.hi < zero(T) && y.lo != y.hi && signbit(y.lo) && Int(d) > 2
-            return DecoratedInterval(r, decay(d))
+        if x.hi < zero(T)
+            y.lo < zero(T) && return DecoratedInterval(r, min(d, def))
+            return DecoratedInterval(r, min(d, dac))
         end
     end
     DecoratedInterval(r, d)

src/intervals/arithmetic.jl

@@ -302,7 +302,7 @@ end
 
 
 # Infimum and supremum of an interval
-inf(a::Interval) = a.lo
+inf(a::Interval) = ifelse(iszero(a.lo) && !signbit(a.lo), copysign(a.lo, -1), a.lo)
 sup(a::Interval) = a.hi
 
 

src/intervals/intervals.jl

@@ -19,10 +19,13 @@ struct Interval{T<:Real} <: AbstractInterval{T}
 
     function Interval{T}(a::Real, b::Real) where T<:Real
 
+        a = _normalisezero(a)
+        b = _normalisezero(b)
+
         if validity_check
 
             if is_valid_interval(a, b)
-                new(a, b)
+                return new(a, b)
 
             else
                 @warn "Invalid input, empty interval is returned"
@@ -36,6 +39,7 @@ struct Interval{T<:Real} <: AbstractInterval{T}
     end
 end
 
+@inline _normalisezero(a::Real) = ifelse(iszero(a) && signbit(a), copysign(a, 1), a)
 
 
 ## Outer constructors