Rationalisation of solver code, beginning with algebraic solvers.