th_signed_polynomial_ode_system

catlog::stdlib::theories

Function th_signed_polynomial_ode_system 

Source 
pub fn th_signed_polynomial_ode_system() -> ModalDblTheory<NonUnital>
Expand description

The theory of simple signed polynomial ODE systems.