willsharpless
willsharpless
Right I was using those and it gave me hope. Do you think it would be too tedious to implement those? I think it would be highly valuable.
Well what if upon calling the common_sub_strings and terminal overlap functions there was a figure paramater which if == True would print the figures you drawn by hand above?
Here is the code! Annoyingly, the generated file can't be attached because jld is not a supported file type. ``` using LinearAlgebra, Interpolations, Plots, LaTeXStrings using ReachabilityAnalysis, DifferentialEquations gr() const...
The `ffig` plot looks like this for the above, 
I tried saving after over-approximating with `Zonotope`′s and it is better ... but still 14.28 gb lol
Along the same lines, what is the most efficient way to access the vertices of any of these zonotopes? I'm doing this naively to compute the maximum norm in the...
Sorry missed this, meant 2-norm but eventually gave up on it and reduced to inf-norm
Hey wow looks great! Works for me too. Seems like the `dx[N+1:end] = zero(x[N+1:end])` call is what broke it. Apologies for not considering this, thank you!