tridiagonal_singular_value_decomposition Submodule