A comparison of four techniques of programming algebra