diff_lyap_eqn_solution_formulas_release