From 59aa1b5182ed90152ab0dde29691283b310ce7e8 Mon Sep 17 00:00:00 2001 From: David Sanders Date: Sun, 21 Jul 2024 19:09:12 -0500 Subject: [PATCH] Fix another isempty --- src/hyperbolic.jl | 2 +- src/trig.jl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/hyperbolic.jl b/src/hyperbolic.jl index 804039e..32a1f8b 100644 --- a/src/hyperbolic.jl +++ b/src/hyperbolic.jl @@ -11,7 +11,7 @@ The pair `(c, x_new)` where - `c` is unchanged - `x_new` is the interval hull of the set ``{x ∈ b : sinh(x) ∈ a}`` """ -function sinh_rev(y::Interval, x::Interval = entireinterval(y) +function sinh_rev(y::Interval, x::Interval = entireinterval(y)) x = x ⊓ asinh(y) return y, x diff --git a/src/trig.jl b/src/trig.jl index 90d21a9..962b3da 100644 --- a/src/trig.jl +++ b/src/trig.jl @@ -130,7 +130,7 @@ function tan_main(X::IntervalBox) x = x ⊓ x_range - isempty(x) && return IntervalBox(x, y) + isempty_interval(x) && return IntervalBox(x, y) y = y ⊓ tan(x) x = x ⊓ atan(y)