Lanczos 方法可用于获得稀疏对称或厄米特矩阵的极值特征对。我知道有几种 Lanczos 方法的实现（以及 Arnoldi、Davidson 等），但我对返回三对角矩阵的方法特别感兴趣，而不仅仅是 eigenvalues 和 eigenvectors。我现在这样做的方式是在 Fortran 中使用我自己的 Lanczos 实现。是否有一个维护的库可以有效地执行相同的操作，最好是在 python 中？