Se resuelve \(Ly=b\) obteniendo \(y=(1,0)^{T}\), y luego \(L^{T}x=y\) da \(x=(1/2,0)^{T}\). Comprobar \(Ax=b\) confirma el resultado; la opción igual a \(b\) omite la resolución.
La factorización de Cholesky descompone una matriz simétrica definida positiva \(A\) como \(A = LL^{T}\), con \(L\) triangular inferior con diagonal positiva.