pub fn escape_time_bound(p: &Poly, x0: &Rational, cap: u32) -> Option<Rational>Expand description
For x' = p(x) with p > 0 on [x₀, ∞) and deg p ≥ 2, a rational number at least the time
the solution takes to leave every bound; None when p has a root there, grows too slowly to
leave every bound in finite time, or no grid finer than 2^cap pieces bounds it.