A transformation from one set of Hamiltonian coordinates (q, p) to another (Q, P). Canonical transformations must be area-preserving (and, more generally, Poincaré invariant preserving), with the added restriction that the sign of the area must also remain positive.
