Merge pull request #11 from ArrogantGao/fix_andor

fix the isapprox for TropicalAndOr
TensorBFS · Sep 26, 2023 · 1b23f8c · 1b23f8c
2 parents 90d96ae + f599ca0
commit 1b23f8c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/tropical_andor.jl b/src/tropical_andor.jl
@@ -50,4 +50,4 @@ Base.one(::TropicalAndOr) = one(TropicalAndOr)
 Base.inv(x::TropicalAndOr) = TropicalAndOr(!x.n)
 
 # bool type only have two values
-Base.isapprox(x::TropicalAndOr, y::TropicalAndOr; kwargs...) = ispprox(x.n, y.n; kwargs...)
+Base.isapprox(x::TropicalAndOr, y::TropicalAndOr; kwargs...) = isapprox(x.n, y.n; kwargs...)
diff --git a/test/tropical_andor.jl b/test/tropical_andor.jl
@@ -17,6 +17,7 @@ using TropicalNumbers
 
     @test zero(TropicalAndOr) == TropicalAndOr(false)
     @test one(TropicalAndOr) == TropicalAndOr(true)
+    @test zero(TropicalAndOr) ≈ TropicalAndOr(false)
 
     println(TropicalAndOr(true))
 end