Symplectic Computation of Hamiltonian Systems (I)

Abstract

We get $τ^6$-terms of the formal energy of the mid-point rule, and use the mathematical pendulum to test the convergence of the formal energy.