Hamiltonian reduction of unconstrained and constrained systems | Synapse