This section describes how Sections 5.1 to 5.3 are adapted to handle phase spaces and differential constraints.