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

Choose display format for IA.Interval

Open mforets opened this issue 4 years ago • 1 comments

Should we use setformat(:standard)?

mforets avatar Jun 10 '21 19:06 mforets

This is already the standard:

https://github.com/JuliaIntervals/IntervalArithmetic.jl/blob/2d1d64628fb893b0fd5c173af5a7a791d588ba48/src/display.jl#L14

julia> Interval(1, 2)
Interval{Float64, IntervalArithmetic.Interval{Float64}}([1, 2])

julia> Interval(1, 2).dat
[1, 2]

julia> IntervalBox(1 .. 2, 3 .. 4)
[1, 2] × [3, 4]

Is there anything to do here?

schillic avatar Sep 17 '21 07:09 schillic