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.