lyap_k to lyap