-
Notifications
You must be signed in to change notification settings - Fork 12
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Domain as an interface #120
Comments
As a random example, this is current behaviour in DomainSets: julia> using IntervalSets, DomainSets
julia> using DomainSets: ×
julia> d = (0..1.0) × ComplexUnitCircle()
(0.0 + 0.0im..1.0 + 0.0im) × ComplexUnitCircle()
julia> eltype(d)
SVector{2, ComplexF64} (alias for StaticArraysCore.SArray{Tuple{2}, Complex{Float64}, 1, 2})
julia> numtype(d)
ComplexF64 (alias for Complex{Float64})
julia> prectype(d)
Float64 A type promotion happens when taking the cartesian product. Next, the |
One comment: we can still support |
Related issue on moving the definition of a |
The discussion came up again whether or not to see domains as inheriting from
Domain{T}
, or whether it can be an interface instead: JuliaMath/IntervalSets.jl#117 and JuliaMath/IntervalSets.jl#115Related to that is the question of what is the role of
T
inDomain{T}
.The text was updated successfully, but these errors were encountered: