The call type(expr, algnum) checks whether expr is an algebraic number.

An algebraic number is defined as either a rational number, or a root of a univariate polynomial with algebraic number coefficients specified by a RootOf. A sum, product, or quotient of these is also an algebraic number.