An algorithm to generate canonical transformations: application to normal forms

We describe a new method to generate symplectic diffeomorphisms. This method is based on primitive functions, and it was introduced in [Nonlinearity 13 (2000) 1483]. We apply the algorithm to the construction of normal forms of KAM tori. A concrete application, developed in detail and implemented numerically, is normal forms near invariant circles.