algebraic manipulation language