max-separable Lyapunov functions