LazySets.jl
LazySets.jl copied to clipboard
Choose display format for IA.Interval
Should we use setformat(:standard)?
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?