Fix ambiguity in ℵ₀ ≤ RealInfinity() (#16)

JuliaMath · Sep 9, 2021 · 4c038b0 · 4c038b0 · dlfivefifty · Sep 9, 2021
1 parent 622c39e
commit 4c038b0
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "Infinities"
 uuid = "e1ba4f0e-776d-440f-acd9-e1d2e9742647"
 authors = ["Sheehan Olver <[email protected]>"]
-version = "0.1.1"
+version = "0.1.2"
 
 [compat]
 julia = "1"

diff --git a/src/cardinality.jl b/src/cardinality.jl
@@ -82,6 +82,8 @@ 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, x::RealInfinity) = false
 >(::InfiniteCardinal{0}, y::Real) = ∞ > y
 >(::InfiniteCardinal, ::Real) = true
 ≥(::InfiniteCardinal, ::Real) = true

diff --git a/test/test_cardinality.jl b/test/test_cardinality.jl
@@ -56,6 +56,9 @@ using Infinities, Base64, Base.Checked, Test
         @test !(-∞ > ℵ₀) && !(-∞ ≥ ℵ₀)
         @test ℵ₀ > -∞
         @test ℵ₁ > -∞ && ℵ₁ ≥ -∞
+        @test ℵ₀ ≤ RealInfinity()
+        @test !(ℵ₀ ≤ -∞)
+        @test !(ℵ₁ ≤ RealInfinity())
 
         @test Inf < ℵ₁ && !(ℵ₁ < Inf)
         @test !(Inf < ℵ₀) && !(ℵ₀ < Inf)