Simplify codes using assumptions and developed a SOR solver.