Analysis of Preconditioners for Saddle-Point Problems | Synapse