IntervalArithmetic.jl icon indicating copy to clipboard operation
IntervalArithmetic.jl copied to clipboard

Library for validated numerics using interval arithmetic

Results 131 IntervalArithmetic.jl issues
Sort by recently updated
recently updated
newest added

Because `big53()` calls [`setrounding()` from `Base`](https://docs.julialang.org/en/v1/base/numbers/#Base.Rounding.setrounding-Tuple{Type,Any}) functions like `^`, `atan()` and `(:tanh, :asinh, :acosh, :atanh)` are currently not thread-safe on Intervals. Ideally all mathematical functions should be thread-safe so Intervals...

Version 0.15.2 is the latest that is compatible with julia 1.0.x which is a long-term support release. Branch 0.15.2 is not for version 0.15.2 and isn't compatible with julia 1.0.x....

The documentation is quite out of date, e.g. it still uses `@interval` far too much. Also we should restructure it following the separation into different documentation types described [here](https://documentation.divio.com/), i.e....

Currently: ```jl julia> DecoratedInterval(x) == x ERROR: type DecoratedInterval has field offset -1431655776 that exceeds the page size Stacktrace: [1] promote_rule at /Users/dpsanders/.julia/dev/IntervalArithmetic/src/decorations/intervals.jl:99 [inlined] [2] promote_type(::Type{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Float64}}}}}}}}}}}}}}}}}}}}}}}}}}}}, ::Type{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{DecoratedInterval{Interval{Float64}}}}}}}}}}}}}}}}}}}}}}}}}}}}) at ./promotion.jl:223 [3]...

Adds and completes @yashrajgupta's open PR #288. All tests from libieeep1788_reduction.jl pass now.

I find it strange that: ```Julia julia> typeof(Float16(0)..Float32(0.5)) Interval{Float32} julia> typeof(Int(0)..Float32(0.5)) Interval{Float64} ``` I would think that `typeof(Int(0)..Float32(0.5)) == Interval{Float32}`

`Interval{Float32}` support is very patchy, c.f. e.g. #414 `Float16` is less useful since arithmetic operations on `Float16` just promote to `Float32` anyway.

In trying to make an `Interval{BigFloat}` out of 0.1 ± √eps(0.1), the resulting interval width is actually eps(0.1): ```julia julia> FAV = BigFloat("0.1") 0.1000000000000000000000000000000000000000000000000000000000000000000000000000002 julia> EPS = √eps(FAV) 1.039000033391147479886700654141525447676787907933243563752171509196807550877029e-39 julia>...