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

Published 20 hours ago • verified publisher icon JuliaReach

Remove option n

Open mforets opened this issue 5 years ago • 1 comments

mforets avatar Mar 20 '19 17:03 mforets

The system's dimension is listed in the "supported options" (https://github.com/JuliaReach/Reachability.jl/blob/master/src/Options/default_options.jl#L32), this issue is about removing it -- since the dimension can always be extracted from the initial-value problem.

mforets avatar Apr 06 '20 16:04 mforets