Luis Benet

Thanks for looking into this. No, we do not aim at supporting Julia nightly builds, so we allow failures on them, but we do make tests to be able to...

Thanks @Kolaru for looking into this. I just checked in Julia 1.0 and the problem reported in #182 persists. I like your idea of introducing `IASupportedType` [here](https://github.com/JuliaIntervals/IntervalArithmetic.jl/pull/185/files#diff-5fe3ca1a972a5bf936c0f370e3366d0fR14). However, your approach...

In your example, both `a[1] ⊂ b[1]` and `a[2] ⊂ b[2]` return `false`, so I think the result is correct. Perhaps you meant ```julia julia> b ⊂ a false ```...

Let's call `a = 1..2` and `b= 0..2`. Then, `a ⊂ b` returns `true` because all elements in `a` are in `b` and you can find elements in `b` which...

I see your point, and have no answer 😬. Interval boxes are usually though as intervals in many dimensions, and functions such as `⊂` are taken as the element-by-element application...

> Does picard iteration need elementwise (strict) enclosure to work? Regarding "element-wise" part, yes, so the enclosure is checked element by element. Regarding the enclosure part, to prove *existence* it...

@lucaferranti Some comments your list: - Regarding 1 and 2: they are solved by #517. Should we backport them to master? - Regarding 10: I think we should emit a...

Thanks for reporting @kvnoct! Both, `sincos` and `sincospi` are computed using methods defined in Base: ```julia julia> @which sincos(x) sincos(x) in Base.Math at special/trig.jl:205 julia> sincos(x) # OK ([0.14112, 1],...

I agree, as long as there is a simple way of getting rounding correctly. I do think that what makes `IntervalArithmetic` special, is the correct rounding.

Mmmm, isn't #347 precisely the opposite to https://github.com/JuliaMath/IntervalSets.jl/issues/33? In any case, I agree that we should share the meaning of alike symbols.