The verify(expr1, expr2, RootOf) calling sequence performs the following steps. It finds all subexpressions of expr1 and expr2 that are of the form RootOf(...), and replaces each such subexpression ro by the result of calling convert(ro, RootOf, form = index). It then compares the expressions resulting from doing this conversion on expr1 and expr2, and returns true if these results are the same, and false if they are different.

If ver is specified, then that verification is used to compare the resulting expressions, rather than simple equality testing.

This verification is symmetric if ver is not specified, or if ver is specified and it is symmetric.

Since RootOf is a Maple function, it must be enclosed in single quotes to prevent evaluation.

$\mathrm{plot}\left(x^3-3x+1\,x=-2..2\right)$

$\mathrm{verify}\left(2+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0..1\right)\,2+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0.34..0.35\right)\right)$

$\mathrm{false}$

$\mathrm{verify}\left(2+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0..1\right)\,2+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0.34..0.35\right)\,\mathrm{RootOf}\right)$

$\mathrm{true}$

$\mathrm{verify}\left(2+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0..1\right)\,2+\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,1..2\right)\,\mathrm{RootOf}\right)$

$\mathrm{false}$

$\mathrm{accepted\_answers}≔\left\{\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0..1\right)\,\mathrm{RootOf}\left({\mathrm{\_Z}}^3+\mathrm{\_Z}-3\,1..2\right)\right\}$

$\mathrm{accepted\_answers}≔\left\{\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0..1\right)\,\mathrm{RootOf}\left({\mathrm{\_Z}}^3+\mathrm{\_Z}-3\,1..2\right)\right\}$

$\mathrm{to\_test}≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0.3\right)$

$\mathrm{to\_test}≔\mathrm{RootOf}\left({\mathrm{\_Z}}^3-3\mathrm{\_Z}+1\,0.3\right)$

$\mathrm{verify}\left(\mathrm{to\_test}\,\mathrm{accepted\_answers}\,'\mathrm{RootOf}'\left('\mathrm{member}'\right)\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\mathrm{to\_test}\,\mathrm{accepted\_answers}\,'\mathrm{member}'\left('\mathrm{RootOf}'\right)\right)$

$\mathrm{true}$