fixed and tested preconditioning logic; wrote discretization for laplacian