Add function that returns a point inside a set about lazysets.jl HOT 7 CLOSED

+1 element, and +1.5 for an_element

from lazysets.jl.

ok.

What is an argument for this?

only that it goes in line with other files for abstract types such as Abstractxyz.

for the implementation we can take as well σ([1.; fill(0, dim(S)-1)], S) which has more zeros 😛 or σ(speye(dim(S))[:, 1], S)

from lazysets.jl.

I will use element, which is consistent with the function of AbstractSingleton.

from lazysets.jl.

@mforets: Should we add a default implementation for any LazySet as follows?

function an_element(S::LazySet)::Vector{<:Real}
    return σ(ones(dim(S)), S)
end

Problem: the direction has type Float.
If yes, where do we put this? Create a new file LazySet_functions.jl? Or a file LazySet.jl and move the type definition there as well?
There are already norm/radius/diameter in box_approximations.jl, so maybe we want to move those to this file, too.

from lazysets.jl.

Problem: the direction has type Float.

this could be worked around if #44 gets in.

If yes, where do we put this?

also note the file support_function.jl, which just defines generic support vector for any LazySet. a file LazySet.jl for this group of definitions is not a bad idea.

from lazysets.jl.

.. or a file AbstractLazySet.jl , and in that case also export the type AbstractLazySet as an alias for LazySet. i'm ok with either way, what do you think?

from lazysets.jl.

this could be worked around if # 44 gets in.

Good, then let us fix that one first.

a file LazySet.jl for this group of definitions is not a bad idea.

I also like this.

or a file AbstractLazySet.jl

What is an argument for this? (We can also rename the file later and just need to change one line.)

from lazysets.jl.