Hamiltonian symplectomorphism