kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-19 07:20:28 +01:00
Code Issues Releases Wiki Activity

require IntervalArithmetic v0.9.1

Browse Source
This commit is contained in:
kalmar 2017-06-25 09:34:16 +02:00
parent 310165b864
commit bfdc08e91d
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
REQUIRE
View File

@ -1,7 +1,9 @@
julia 0.5
JuMP
SCS
GroupRings
ValidatedNumerics
IntervalArithmetic 0.9.1
JLD
Memento
Nemo
Groups
GroupRings

2
src/CheckSolution.jl
View File

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