Symplectic and canonical mappings Hamiltonian and Lagrangian systems mathematics