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

update to IntervalArithmetic v0.10.0

This commit is contained in:
kalmar 2017-06-22 15:48:06 +02:00
parent 1053a28970
commit b7d9731f8b
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/CheckSolution.jl
View File

@ -1,8 +1,7 @@
import Base: rationalize
using ValidatedNumerics
ValidatedNumerics.setrounding(Interval, :correct)
# ValidatedNumerics.setrounding(Interval, :fast) #which is slower??
ValidatedNumerics.setrounding(Interval, :accurate)
ValidatedNumerics.setformat(:standard)
# setprecision(Interval, 53) # slightly faster than 256