finish cholesky factorization, and verify the correctness for some special cases