Abstract
It is pointed out that the algorithmic method recently suggested by Hewit and Storey for the construction of Lyapunov functions yields a result which is expressible in closed form.