double_pendulum_lyap.h