Fix ambigiuity in ℵ₀ - (-∞) (#17)

JuliaMath · Sep 19, 2021 · 577adfb · 577adfb · dlfivefifty · Sep 19, 2021
1 parent 4c038b0
commit 577adfb
Show file tree

Hide file tree

Showing 3 changed files with 7 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.2"
+version = "0.1.3"
 
 [compat]
 julia = "1"

diff --git a/src/cardinality.jl b/src/cardinality.jl
@@ -161,6 +161,8 @@ for op in (:+, :-)
     @eval begin
         $op(x::Number, ::InfiniteCardinal) = $op(x, ∞)
         $op(::InfiniteCardinal, x::Number) = $op(∞, x)
+        $op(x::RealInfinity, ::InfiniteCardinal) = $op(x, ∞)
+        $op(::InfiniteCardinal, x::RealInfinity) = $op(∞, x)
     end
 end
 

diff --git a/test/test_cardinality.jl b/test/test_cardinality.jl
@@ -102,6 +102,10 @@ using Infinities, Base64, Base.Checked, Test
         @test ℵ₀ + 5.1 ≡ ∞
         @test 5.1 + ℵ₀ ≡ ∞
         @test 5.1 - ℵ₀ ≡ -∞
+
+        @test ℵ₀ + RealInfinity() == ∞
+        @test ℵ₀ - (-∞) == ∞
+        @test  RealInfinity() + ℵ₀ == ∞
     end
 
     @testset "fld/cld/div/mod" begin