ikeda_lyap.h