exact solution, rhs and errornorms implemented