An expression is of type RootOf if it is of the form RootOf(x), where x is an algebraic expression.

$\mathrm{type}\left(\mathrm{RootOf}\left(x^2-3\,x\right)\,\mathrm{RootOf}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\sin \left(3x\right)\,\mathrm{RootOf}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{RootOf}\left(x-3\,x\right)\,\mathrm{RootOf}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{RootOf}\left(Z^7-2Z^5+3\right)\,\mathrm{RootOf}\right)$

$\mathrm{true}$