The Lanczos algorithm with partial reorthogonalization | Synapse