The type(expr, radext) function checks if expr is a radical extension of the real numbers.  It is equivalent to type(expr, radical) or .

The type(expr, radext(K)) function checks whether expr is a radical expression where the expression under the root sign belongs to the domain K.  For example, K could be integer or rational.

This function returns true if expr is such an expression. Otherwise, false is returned.