From 074c710637cf3cf6353d65a3cef919e5dfe4532d Mon Sep 17 00:00:00 2001
From: David Sanders <dpsanders@gmail.com>
Date: Mon, 30 May 2016 11:13:37 -0400
Subject: [PATCH] Remove rational infinity definition

---
 src/intervals/functions.jl         | 3 ---
 test/interval_tests/consistency.jl | 4 ----
 2 files changed, 7 deletions(-)

diff --git a/src/intervals/functions.jl b/src/intervals/functions.jl
index f569230..c6cba72 100644
--- a/src/intervals/functions.jl
+++ b/src/intervals/functions.jl
@@ -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
diff --git a/test/interval_tests/consistency.jl b/test/interval_tests/consistency.jl
index 432e76a..821a610 100644
--- a/test/interval_tests/consistency.jl
+++ b/test/interval_tests/consistency.jl
@@ -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