ALTRAN{=algebraic translator}