The type(expr, radfunext) calling sequence checks to see if expr is a radical function extension.

A radical function extension is an algebraic function extension specified in terms of radicals. This is a root of a combination of rational functions and roots of rational functions specified in terms of radicals.

The type(expr, radfunext) calling sequence is equivalent to type(expr, radfun) and (type(expr, radext).

$\mathrm{type}\left({\left(x+y\right)}^{\frac{1}{2}}\,\mathrm{radfunext}\right)$

$\mathrm{true}$

$\mathrm{type}\left({\left(\mathrm{sqrt}\left(z\right)-\frac{3}{2}x+y\right)}^{\frac{4}{3}}\,\mathrm{radfunext}\right)$

$\mathrm{true}$

$\mathrm{type}\left({\left(4x-5^{\frac{1}{3}}{y}^2\right)}^{\frac{1}{4}}\,\mathrm{radfunext}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x^{\frac{1}{4}}\,\mathrm{radfunext}\right)$

$\mathrm{true}$