A Note on Preconditioning for Indefinite Linear Systems | Synapse