IntervalArithmetic.jl

IntervalArithmetic.jl copied to clipboard

Empty interval as [NaN, NaN]?

12

Is there anything to stop us using `Interval(NaN, NaN)` as the representation of the empty interval? I think this would remove the need for a lot of `isempty` checks, and...

dpsanders

Incorrect construction of Interval{Float64} from Rational{Int}

4

The rational number `1//10` does not have an exact floating point representation. However currently ```julia julia> x = Interval{Float64}(1//10) [0.1, 0.100001] julia> x.lo == x.hi true ``` So the interval...

saschatimme

Plotting infinite IntervalBoxes

1

Currently `Plots.jl` ignores objects that extend to infinity. When plotting we should check for an infinity and replace it by a large finite number of the same sign.

dpsanders

Inaccurate results due to rationalize(x)

3

Currently, we are getting ``` julia> @interval("[1.0000000000000001, 1.0000000000000002]") Interval(1.0, 1.0) ``` Expected Answer ``` Interval(1.0, 1.0000000000000002) ``` This is because of ``` julia> rationalize(1.0000000000000002) 1//1 ``` It should not be...

krish8484

Equality for decorated intervals

3

Currently we have ``` julia> DecoratedInterval(1..2, com) == DecoratedInterval(1..2, trv) true ``` Is this specified in the standard? cc @krish8484

dpsanders

All the changing or rounding of values must be done by `@interval` and `I"..."`.

krish8484

Arithmetic with numbers of different types should be defined

3

```jl julia> X = 3..4 [3, 4] julia> @which X / 3.1 /(a::Interval{T}, x::T) where T @which X / Float32(3.1) /(x::Number, y::Number) in Base at promotion.jl:314 ``` The version with...

dpsanders

```jl IntervalBox{Float32}(X::IntervalBox) = IntervalBox(Interval{Float32}.(X)) ```

dpsanders

Intervals using `..` cannot be parsed properly from strings. ```julia julia> I"1..2" [1, 1] julia> @interval "1..2" [1, 1] @biginterval "1..2" [1, 1]₂₅₆ ``` Obtained using Julia 1.4.0, IntervalArithmetic v0.17.3

lucaferranti

dpsanders