The type(expr, specified_rootof) function returns true if expr is a specific root of an expression that uses a RootOf data structure. Otherwise, false is returned.

This function recognizes two forms of roots.

If extra arguments are included in the call to type(expr, specified_rootof), they are ignored.

$\mathrm{type}\left(\mathrm{RootOf}\left(x^2-4x+71\right)\,\mathrm{specified\_rootof}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{RootOf}\left(x^2-4x+71\,\mathrm{index}=1\right)\,\mathrm{specified\_rootof}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{RootOf}\left(x^2-4x+7\,\mathrm{label}=A\right)\,\mathrm{specified\_rootof}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{RootOf}\left(x^2-4x+7\,2.+1.732050808\mathrm{I}\right)\,\mathrm{specified\_rootof}\right)$

$\mathrm{true}$