An algebraic manipulation language which externally gives the appearance of manipulating quite general mathematical expressions, although internally it is functioning with canonically represented data, much like the simpler seminumerical languages.