The stability of the Thomson heptagon

In 1882 J. J. Thomson had claimed in his Adams prize essay "The motion of vortex rings" that a ring of seven vortices would be unstable. It was shown later that linear analysis can not decide stability in this case. In 1999 Cabral and Schmidt proved stability by calculating the higher order terms in the normal form of the Hamiltonian with the help of POLYPACK, a personal algebraic processor. The work is repeated here with the help of the more readily available computer algebra system MATHEMATICA.