diff --git a/REQUIRE b/REQUIRE index 95fd359..f5ec9f7 100644 --- a/REQUIRE +++ b/REQUIRE @@ -1,7 +1,7 @@ julia JuMP SCS -IntervalArithmetic +IntervalArithmetic 0.10 JLD Memento Nemo diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl index 4e3d72d..fb928ff 100644 --- a/src/CheckSolution.jl +++ b/src/CheckSolution.jl @@ -2,7 +2,7 @@ import Base: rationalize using IntervalArithmetic -IntervalArithmetic.setrounding(Interval, :accurate) +IntervalArithmetic.setrounding(Interval, :tight) IntervalArithmetic.setformat(sigfigs=10) IntervalArithmetic.setprecision(Interval, 53) # slightly faster than 256