Skip to content

Commit

Permalink
Remove rational infinity definition
Browse files Browse the repository at this point in the history
  • Loading branch information
dpsanders committed May 30, 2016
1 parent ab8cce9 commit 074c710
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 7 deletions.
3 changes: 0 additions & 3 deletions src/intervals/functions.jl
Original file line number Diff line number Diff line change
Expand Up @@ -155,9 +155,6 @@ function ^(a::Interval{BigFloat}, x::Interval)
end


Base.inf(x::Rational) = 1//0 # to allow sqrt()


function sqrt{T}(a::Interval{T})
domain = Interval(zero(T), convert(T, Inf))
a = a domain
Expand Down
4 changes: 0 additions & 4 deletions test/interval_tests/consistency.jl
Original file line number Diff line number Diff line change
Expand Up @@ -288,7 +288,3 @@ facts("Interval power of an interval") do
@fact b^@interval(0.3) == Interval(1.3903891703159093, 1.5157165665103982) --> true

end

facts("Rational infinity") do
@fact inf(3//4) == 1//0 --> true
end

0 comments on commit 074c710

Please sign in to comment.