The continuous, real-valued Heisenberg group provides a simple example of a sub-Riemannian manifold. For the Heisenberg group, the Hamiltonian is given by H ( x , y , z , p x , p y , p z ) = 1 2 ( p x 2 + p y 2 ) . p z is not involved in the Hamiltonian.