LazySets.jl icon indicating copy to clipboard operation
LazySets.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Unify sample of Ball2 with general sample interface

Open schillic opened this issue 3 years ago • 0 comments

https://github.com/JuliaReach/LazySets.jl/blob/e4995d5e4cb91082463071b22f5ed1d058116fc6/src/Sets/Ball2.jl#L324-L326

https://github.com/JuliaReach/LazySets.jl/blob/e4995d5e4cb91082463071b22f5ed1d058116fc6/src/Utils/samples.jl#L55-L60

In particular add a new sampler (as the default for Ball2). It is probably better to have only one sample method, so we should change the current method for Ball2 to sample!.

schillic avatar Nov 30 '21 20:11 schillic