Cholesky factorization now solves a cute 7x7 system

Besides, I have removed choices "3" and "4" because it's obvious forward and backward elimination work with Cholesky factorization.