Support Rational - Int operations (#429)

* Support rational-int operations and add test * use interval instead of @interval
JuliaIntervals · Dec 9, 2020 · abd2a9a · abd2a9a · dpsanders · Dec 9, 2020
1 parent 4d0eba5
commit abd2a9a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/intervals/conversion.jl b/src/intervals/conversion.jl
@@ -150,3 +150,6 @@ atomic(::Type{Interval{Rational{T}}}, x::S) where {T<:Integer, S<:Float64} =
 
 atomic(::Type{Interval{Rational{T}}}, x::S) where {T<:Integer, S<:BigFloat} =
     Interval(rationalize(T, x))
+
+atomic(::Type{Interval{Rational{T}}}, x::Interval{Rational{T}}) where {T<:Integer} =
+    Interval(x)
diff --git a/test/interval_tests/numeric.jl b/test/interval_tests/numeric.jl
@@ -208,6 +208,7 @@ end
     g = 1 // 3
 
     @test @interval(f*g) == Interval(1.1111111111111109e-01, 1.1111111111111115e-01)
+    @test interval(f, g) - 1 == interval(-2 // 3, -2 // 3)
     @test big(1.)/9 ∈ @interval(f*g)
     @test @interval(1)/9 ⊆ @interval(f*g)
     @test @interval(1)/9 ≠ @interval(f*g)