search

JuliaIntervals / IntervalContractors.jl

Interval contractors and inverse (reverse) functions for Julia
Other
10 stars 10 forks source link

sinrev(0, 0) bug #33

Open dpsanders opened 5 years ago

dpsanders commented 5 years ago 
julia> sin_rev(0..0, 0..0)
(∅, ∅)

This should give 0..0.

dpsanders commented 5 years ago

This is due to

julia> R = IntervalContractors.reflect_x(IntervalContractors.half_pi)
#1 (generic function with 1 method)

julia> Y = R(X)
[3.14159, 3.1416] × [0, 0]

julia> IntervalContractors.sin_main(Y)
∅ × [0, 0]