I m trying to find a lyapunov function candidate using sostools, the example given in SOSTOOL Box is working, but the program works only when there exists a global lyapunov function. Also i want to know, how to identify a particular monomial will be there in the lyapunov candidate or not?
Also, how to find a local lyapunov function candidate?