额外正交化 定义:在Lanczos算法中,由于浮点误差,生成的向量可能不完全正交,需要额外正交化步骤。代码实现:def extra_orthogonalization(v, basis): for u in basis: v -= u * (v.dot(u) / u.dot(u))