Add tests

jump-dev · Jun 21, 2024 · 4989c42 · 4989c42
1 parent 84b6f86
commit 4989c42
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 0 deletions.
diff --git a/src/Constraint.jl b/src/Constraint.jl
@@ -46,6 +46,9 @@ is_feasible(x, set, tol) = missing
 function is_feasible(
     x::Vector,
     set::Union{
+        MOI.Nonnegatives,
+        MOI.Nonpositives,
+        MOI.Zeros,
         MOI.SecondOrderCone,
         MOI.RotatedSecondOrderCone,
         MOI.ExponentialCone,

diff --git a/test/test_constraints.jl b/test/test_constraints.jl
@@ -397,6 +397,23 @@ function test_RelativeEntropyEpiConeSquare()
     return
 end
 
+function test_is_feasible()
+    @test Convex.is_feasible([1.0, 0.0], MOI.Nonnegatives(2), 0.0)
+    @test !Convex.is_feasible([-1.0, 0.0], MOI.Nonnegatives(2), 0.0)
+    @test Convex.is_feasible([-1.0, 0.0], MOI.Nonpositives(2), 0.0)
+    @test !Convex.is_feasible([1.0, 0.0], MOI.Nonpositives(2), 0.0)
+    @test Convex.is_feasible([1e-5, 0.0], MOI.Zeros(2), 1e-5)
+    @test !Convex.is_feasible([1e-5, 0.0], MOI.Zeros(2), 0.0)
+    @test Convex.is_feasible([5.0, 3.0, 4.0], MOI.SecondOrderCone(3), 0.0)
+    set = MOI.PositiveSemidefiniteConeSquare(2)
+    @test Convex.is_feasible([1.0 0.0; 0.0 1.0], set, 0.0)
+    @test !Convex.is_feasible([-1.0 0.0; 0.0 1.0], set, 0.0)
+    @test !Convex.is_feasible([1.0 1e-6; 0.0 1.0], set, 0.0)
+    set = MOI.NormSpectralCone(2, 2)
+    @test Convex.is_feasible([1.0, 1.0, 0.0, 0.0, 1.0], set, 0.0) === missing
+    return
+end
+
 function test_distance_to_set_matrix()
     x = Variable(2, 2)
     y = Variable()