kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 18:25:30 +01:00
Code Issues Releases Wiki Activity

update to the latest version of IntervalArithmetic

Browse Source
This commit is contained in:
kalmar 2017-07-05 12:24:49 +02:00
parent bfdc08e91d
commit 6b9d2b5d28
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
REQUIRE
View File

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

2
src/CheckSolution.jl
View File

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