added Dioganally-Dominant-Matrix predicate
fixed bug in Jacobi Solver
fixed bug in Seidel Solver; added tests