Add tight conversion as <div class="highlight highlight-source-julia notranslate p

Or just overload the constructor, e.g. <div class="snippet-clipboard-content notra

e.g. <div class="highlight highlight-source-julia notranslate position-relative ov

Better yet: <div class="highlight highlight-source-julia notranslate position-rela

Add convert(Interval, x::Float64, Val{:tight}) about intervalarithmetic.jl HOT 4 CLOSED

juliaintervals commented on July 22, 2024

Add convert(Interval, x::Float64, Val{:tight})

from intervalarithmetic.jl.

Comments (4)

dpsanders commented on July 22, 2024

Or just overload the constructor, e.g.

Interval(x::Float64, :tight)

Interval(x::Float64, :accurate)

from intervalarithmetic.jl.

dpsanders commented on July 22, 2024

e.g.

function Interval(x::Float64, s::Symbol)
           s == :tight && return convert(Interval{Float64}, rationalize(x))
           s == :accurate && return Interval(prevfloat(x), nextfloat(x))
           end

julia 0.6> @btime Interval(1/3, :tight)
  231.728 ns (3 allocations: 128 bytes)
Interval(0.3333333333333333, 0.33333333333333337)

julia 0.6> @btime Interval(1/3, :accurate)
  21.212 ns (0 allocations: 0 bytes)
Interval(0.33333333333333326, 0.33333333333333337)

cc @lbenet

from intervalarithmetic.jl.

dpsanders commented on July 22, 2024

Better yet:

julia 0.6> Interval(x::Float64, ::Type{Val{:tight}}) = convert(Interval{Float64}, rationalize(x))
IntervalArithmetic.Interval

julia 0.6> Interval(x::Float64, ::Type{Val{:accurate}}) = Interval(prevfloat(x), nextfloat(x))
IntervalArithmetic.Interval

julia 0.6> @btime Interval(1/3, Val{:tight})
  207.937 ns (1 allocation: 80 bytes)
Interval(0.3333333333333333, 0.33333333333333337)

julia 0.6> @btime Interval(1/3, Val{:accurate})
  12.242 ns (0 allocations: 0 bytes)
Interval(0.33333333333333326, 0.33333333333333337)