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

update ValidatedNumerics to 0.8

Browse Source
This commit is contained in:
kalmar 2017-03-20 21:41:34 +01:00
parent 8ddb60a400
commit 07877556db
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/checksolution.jl
View File

@ -1,9 +1,8 @@
using ProgressMeter
import Base: rationalize
using ValidatedNumerics
setrounding(Interval, :narrow)
setdisplay(:standard)
ValidatedNumerics.setrounding(Interval, :correct)
ValidatedNumerics.setformat(:standard)
function EOI{T<:Number}(Δ::GroupAlgebraElement{T}, κ::T)
return Δ*Δ - κ*Δ