Error Analysis of the Lanczos Algorithm for Tridiagonalizing a Symmetric Matrix | Synapse