Geometric Linearization for Constraint Hamiltonian Systems | Synapse