kalmar
/
PropertyT.jl
mirror of https://github.com/kalmarek/PropertyT.jl.git
1
0
Fork 0
Code Issues Releases Wiki Activity

change rounding mode to :tight

This commit is contained in:
kalmar 2017-07-26 12:58:39 +02:00
parent da32893d64
commit 335a2aa216
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
REQUIRE
View File

@ -1,7 +1,7 @@
julia julia
JuMP JuMP
SCS SCS
IntervalArithmetic IntervalArithmetic 0.10
JLD JLD
Memento Memento
Nemo Nemo

2
src/CheckSolution.jl
View File

@ -2,7 +2,7 @@ import Base: rationalize
using IntervalArithmetic using IntervalArithmetic
IntervalArithmetic.setrounding(Interval, :accurate) IntervalArithmetic.setrounding(Interval, :tight)
IntervalArithmetic.setformat(sigfigs=10) IntervalArithmetic.setformat(sigfigs=10)
IntervalArithmetic.setprecision(Interval, 53) # slightly faster than 256 IntervalArithmetic.setprecision(Interval, 53) # slightly faster than 256