Ellipsoidal Lyapunov function (source code)

= Ellipsoidal Lyapunov function

A positive-definite quadratic form defines ellipsoidal sublevel sets and often turns a polynomial vector field into an exact factored orbital derivative.