Skip to content
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

Vector-set multiplication #321

Closed
mforets opened this issue Apr 15, 2018 · 1 comment
Closed

Vector-set multiplication #321

mforets opened this issue Apr 15, 2018 · 1 comment
Assignees
Labels
bug 🐛 Something isn't working

Comments

@mforets
Copy link
Member

mforets commented Apr 15, 2018

julia> using LazySets

julia> X = Interval([0.9, 1.10445])
LazySets.Interval{Float64,IntervalArithmetic.Interval{Float64}}([0.9, 1.10445])

julia> a = [0.0029649, -0.00173048]
2-element Array{Float64,1}:
  0.0029649 
 -0.00173048

julia> a * X
ERROR: MethodError: no method matching one(::Type{Array{Float64,1}})
Closest candidates are:
  one(::BitArray{2}) at bitarray.jl:427
  one(::Type{IntervalArithmetic.Interval{T<:Real}}) where T<:Real at /Users/forets/.julia/v0.6/IntervalArithmetic/src/intervals/arithmetic.jl:57
  one(::Type{IntervalArithmetic.DecoratedInterval{T<:Real}}) where T<:Real at /Users/forets/.julia/v0.6/IntervalArithmetic/src/decorations/functions.jl:7
  ...
Stacktrace:
 [1] *(::Array{Float64,1}, ::LazySets.Interval{Float64,IntervalArithmetic.Interval{Float64}}) at /Users/forets/.julia/v0.6/LazySets/src/LinearMap.jl:76
@mforets mforets added the bug 🐛 Something isn't working label Apr 15, 2018
@mforets
Copy link
Member Author

mforets commented Apr 15, 2018

it is not related to Interval, but to vectors as linear maps:

julia> a * BallInf([1.0], 1.0)
ERROR: MethodError: no method matching one(::Type{Array{Float64,1}})
Closest candidates are:
  one(::BitArray{2}) at bitarray.jl:427
  one(::Type{IntervalArithmetic.Interval{T<:Real}}) where T<:Real at /Users/forets/.julia/v0.6/IntervalArithmetic/src/intervals/arithmetic.jl:57
  one(::Type{IntervalArithmetic.DecoratedInterval{T<:Real}}) where T<:Real at /Users/forets/.julia/v0.6/IntervalArithmetic/src/decorations/functions.jl:7
  ...
Stacktrace:
 [1] *(::Array{Float64,1}, ::LazySets.BallInf{Float64}) at /Users/forets/.julia/v0.6/LazySets/src/LinearMap.jl:76

@schillic schillic changed the title Interval-vector multiplication Vector-set multiplication Apr 15, 2018
mforets added a commit that referenced this issue Apr 15, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug 🐛 Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant