pub fn hybrid_flow<V: ValueAlgebra>(
model: &V,
vector: &V,
n: &V,
) -> Result<V, String>Expand description
N steps of a loop whose body is polynomial Euler steps and jumps, as model encodes them:
[body, jumps], the body its parts in order — ["flow", field] a run of flow statements as one
polynomial update per slot, as for polynomial_flow, ["check", k] the check of jump k —
and each jump [guard, block]. A finite N runs the steps themselves. An infinite one,
N = T/dt + δ on each residue class, ends on the values of the ideal hybrid system the loop
follows for time T (see crate::hybrid): a value the flow moves is a germ known by its
standard part, a value the loop holds exactly is that value.