A programming language in which the data are algebraic expressions in symbolic form, and the operations are the operations of algebra. The operations provided usually include multiplying out brackets, simplification, factorization, polynomial division, and differentiation with respect to one or more variables. Such languages are now rare, their function being subsumed into algebra systems.