pub fn th_polynomial_ode_system() -> ModalDblTheory<NonUnital>
The theory of simple polynomial ODE systems.