A Domain has an eltype</cod

Domains don't mix well with Julia Set about domainsets.jl HOT 3 CLOSED

juliaapproximation commented on September 25, 2024

Domains don't mix well with Julia Set

from domainsets.jl.

Comments (3)

daanhb commented on September 25, 2024

And I just realized that IntervalSets has the same problem:

julia> using IntervalSets

julia> I = 0..1
0..1

julia> intersect(I, I)
0..1

julia> intersect(I, I, I)
ERROR: MethodError: no method matching iterate(::Interval{:closed,:closed,Int64})
Closest candidates are:
  iterate(::Core.SimpleVector) at essentials.jl:568
  iterate(::Core.SimpleVector, ::Any) at essentials.jl:568
  iterate(::ExponentialBackOff) at error.jl:199
  ...
Stacktrace:
 [1] union!(::Set{Int64}, ::Interval{:closed,:closed,Int64}) at ./abstractset.jl:80
 [2] Set{Int64}(::Interval{:closed,:closed,Int64}) at ./set.jl:10
 [3] _Set(::Interval{:closed,:closed,Int64}, ::Base.HasEltype) at ./set.jl:23
 [4] Set(::Interval{:closed,:closed,Int64}) at ./set.jl:21
 [5] _shrink(::Function, ::Interval{:closed,:closed,Int64}, ::Tuple{Interval{:closed,:closed,Int64},Interval{:closed,:closed,Int64}}) at ./array.jl:2396
 [6] intersect(::Interval{:closed,:closed,Int64}, ::Interval{:closed,:closed,Int64}, ::Interval{:closed,:closed,Int64}) at ./array.jl:2400
 [7] top-level scope at none:0

from domainsets.jl.

daanhb commented on September 25, 2024

I filed this issue to remember the problem. In the code where I hit it, I replaced intersect(list_of_domains...) with reduce(intersect, list_of_domains) and that works.

from domainsets.jl.

daanhb commented on September 25, 2024

This issue is not so bad, since the problem doesn't arise when using ∩, which only calls a two-argument intersect. Closing this for now until it comes up in a case where it is clearly a problem.

from domainsets.jl.

Related Issues (20)

Recommend Projects