don't extend greater and geq (#21)

* don't extend greater and geq

* bump version to v0.1.5

* remove omitted geq methods

Author: jishnub

Project.toml

@@ -1,7 +1,7 @@
 name = "Infinities"
 uuid = "e1ba4f0e-776d-440f-acd9-e1d2e9742647"
 authors = ["Sheehan Olver <[email protected]>"]
-version = "0.1.4"
+version = "0.1.5"
 
 [compat]
 julia = "1"

src/Infinities.jl

@@ -61,20 +61,12 @@ isless(x::Infinity, y::Real) = false
 
 ≤(::Infinity, ::Infinity) = true
 <(::Infinity, ::Infinity) = false
-≥(::Infinity, ::Infinity) = true
->(::Infinity, ::Infinity) = false
 
 <(x::Real, ::Infinity) = isfinite(x) || signbit(x)
 ≤(::Real, ::Infinity) = true
 <(::Infinity, ::Real) = false
 ≤(::Infinity, y::Real) = isinf(y) && !signbit(y)
 
->(::Real, ::Infinity) = false
-≥(x::Real, ::Infinity) = isinf(x) && !signbit(x)
->(::Infinity, y::Real) = isfinite(y) || signbit(y)
-≥(::Infinity, y::Real) = true
-
-
 min(::Infinity, ::Infinity) = ∞
 max(::Infinity, ::Infinity) = ∞
 min(x::Real, ::Infinity) = x
@@ -191,10 +183,6 @@ end
 ≤(::Infinity, s::RealInfinity) = !signbit(s)
 <(s::RealInfinity, ::Infinity) = signbit(s)
 <(::Infinity, ::RealInfinity) = false
-≥(s::RealInfinity, ::Infinity) = !signbit(s)
-≥(::Infinity, ::RealInfinity) = true
->(::RealInfinity, ::Infinity) = false
->(::Infinity, s::RealInfinity) = signbit(s)
 
 
 
@@ -323,7 +311,7 @@ isless(x::ComplexInfinity{Bool}, y::Number) = x.signbit && y ≠ -∞
 -(y::ComplexInfinity{B}) where B<:Integer = sign(y) == 1 ? ComplexInfinity(one(B)) : ComplexInfinity(zero(B))
 
 function +(x::ComplexInfinity, y::ComplexInfinity)
-    x == y || throw(ArgumentError("Angles must be the same to add ∞"))
+    x == y || throw(ArgumentError("Angles must be the same to add ∞"))
     promote_type(typeof(x),typeof(y))(x.signbit)
 end
 
@@ -389,13 +377,6 @@ for OP in (:<,:≤)
     end
 end
 
-for OP in (:>, :≥)
-    @eval begin
-        $OP(x::Real, y::ComplexInfinity{B}) where B<:Integer = sign(y) == -1
-        $OP(y::ComplexInfinity{B}, x::Real) where B<:Integer = sign(y) == 1
-    end
-end
-
 Base.hash(::Infinity) = 0x020113134b21797f # made up
 
 

src/cardinality.jl

@@ -67,12 +67,8 @@ isless(x::InfiniteCardinal, y::AbstractFloat) = false
 
 @generated <(::InfiniteCardinal{N}, ::InfiniteCardinal{M}) where {N,M} = :($(N < M))
 @generated ≤(::InfiniteCardinal{N}, ::InfiniteCardinal{M}) where {N,M} = :($(N ≤ M))
-@generated >(::InfiniteCardinal{N}, ::InfiniteCardinal{M}) where {N,M} = :($(N > M))
-@generated ≥(::InfiniteCardinal{N}, ::InfiniteCardinal{M}) where {N,M} = :($(N ≥ M))
 
 ≤(::InfiniteCardinal{0}, ::InfiniteCardinal) = true
->(::InfiniteCardinal{0}, ::InfiniteCardinal) = false
-≥(::InfiniteCardinal, ::InfiniteCardinal{0}) = true
 <(::InfiniteCardinal, ::InfiniteCardinal{0}) = false
 
 
@@ -82,14 +78,9 @@ isless(x::InfiniteCardinal, y::AbstractFloat) = false
 <(::InfiniteCardinal, x::Real) = false
 ≤(::InfiniteCardinal{0}, x::Real) = ∞ ≤ x
 ≤(::InfiniteCardinal, x::Real) = false
-≤(::InfiniteCardinal{0}, x::RealInfinity) = ∞ ≤ x
+≤(::InfiniteCardinal{0}, x::RealInfinity) = ∞ ≤ x
 ≤(::InfiniteCardinal, x::RealInfinity) = false
->(::InfiniteCardinal{0}, y::Real) = ∞ > y
->(::InfiniteCardinal, ::Real) = true
-≥(::InfiniteCardinal, ::Real) = true
->(::Real, ::InfiniteCardinal) = false
-≥(x::Real, ::InfiniteCardinal{0}) = x ≥ ∞
-≥(x::Real, ::InfiniteCardinal) = false
+<(::InfiniteCardinal, x::RealInfinity) = false
 
 
 <(::Infinity, ::InfiniteCardinal{0}) = false
@@ -98,20 +89,11 @@ isless(x::InfiniteCardinal, y::AbstractFloat) = false
 <(::InfiniteCardinal, ::Infinity) = false
 ≤(::InfiniteCardinal{0}, ::Infinity) = true
 ≤(::InfiniteCardinal, ::Infinity) = false
->(::InfiniteCardinal{0}, ::Infinity) = false
->(::InfiniteCardinal, ::Infinity) = true
-≥(::InfiniteCardinal, ::Infinity) = true
->(::Infinity, ::InfiniteCardinal) = false
-≥(::Infinity, ::InfiniteCardinal{0}) = true
-≥(::Infinity, ::InfiniteCardinal) = false
 
 
 <(x::RealInfinity, ::InfiniteCardinal{0}) = x < ∞
 <(x::RealInfinity, ::InfiniteCardinal) = true
 ≤(x::RealInfinity, ::InfiniteCardinal) = true
->(::InfiniteCardinal{0}, y::RealInfinity) = ∞ > y
->(::InfiniteCardinal, ::RealInfinity) = true
-≥(::InfiniteCardinal, ::RealInfinity) = true
 
 
 @generated min(::InfiniteCardinal{N}, ::InfiniteCardinal{M}) where {N,M} = :(InfiniteCardinal{$(min(N,M))}())