Fix action of separator on box

JuliaIntervals · Apr 2, 2024 · 9736773 · 9736773
1 parent 2844f7c
commit 9736773
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/new_contractor.jl b/src/new_contractor.jl
@@ -45,13 +45,15 @@ function (SS::Separator)(X)
     inner = boundary   
     outer = boundary
 
-    if SS.f(lb) ⊆ SS.constraint
+    lb_image = SS.f(lb)
+    if !isempty(lb_image) && (lb_image ⊆ SS.constraint)
         inner = inner ∪ lb
     else
         outer = outer ∪ lb
     end
-
-    if SS.f(ub) ⊆ SS.constraint
+
+    ub_image = SS.f(ub)
+    if !isempty(ub_image) && (ub_image ⊆ SS.constraint)
         inner = inner ∪ ub
     else
         outer = outer ∪ ub