static_assert(butcher_tableau_t::RK_order==5,"The butcher tableau must correspond to a Runge-Kutta method of order 5");
static_assert(butcher_tableau_t::RK_evaluations==6||butcher_tableau_t::RK_evaluations==7,"The number of functions evaluations must be 6 or 7 for an embedded Runge-Kutta method");