On Sturm Sequences for Tridiagonal Matrices | Synapse