Add the cholesky_inf() function.