The verify(expr1, expr2, expand), verify(expr1, expr2, normal), verify(expr1, expr2, simplify), and verify(expr1, expr2, evala) calling sequences return true if the difference between the arguments expr1 and expr2 is zero after having applied the procedures expand, normal, simplify, and evala, respectively.

Any optional parameters are passed on as subsequent arguments to the appropriate procedures.

These verifications are symmetric.

Because expand, normal, simplify, and evala are Maple procedures, they must be enclosed in single quotes to prevent evaluation.

If expr1 and expr2 are of type relation, the verification is applied to each side of the relation.

If expr1 and expr2 are lists, the verification is applied element-wise.  If the lists have differing lengths, then false is returned.

If either expr1 or expr2 is not of type algebraic, relation, or list, then false is returned.

$a≔\mathrm{Array}\left(1..3\,\left[1\,2\,{\left(x-1\right)}^2\right]\right)$

$a≔\left[\begin{array}{ccc}1& 2& {\left(x-1\right)}^2\end{array}\right]$

$b≔\mathrm{Array}\left(1..3\,\left[1\,2\,x^2-2x+1\right]\right)$

$b≔\left[\begin{array}{ccc}1& 2& x^2-2x+1\end{array}\right]$

$\mathrm{verify}\left(a\,b\,'\mathrm{Array}'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(a\,b\,'\mathrm{Array}'\left('\mathrm{expand}'\right)\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\frac{{f\left(x\right)}^2-1}{f\left(x\right)-1}\,f\left(x\right)+1\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\frac{{f\left(x\right)}^2-1}{f\left(x\right)-1}\,f\left(x\right)+1\,'\mathrm{normal}'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\frac{1}{x}+\frac{x}{x+1}\,\frac{x+1+x^2}{x^2+x}\,'\mathrm{expand}'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\frac{1}{x}+\frac{x}{x+1}\,\frac{x+1+x^2}{x^2+x}\,'\mathrm{normal}'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left[a\,4^{\frac{1}{2}}+3\right]\,\left[a\,5\right]\,'\mathrm{list}'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[a\,4^{\frac{1}{2}}+3\right]\,\left[a\,5\right]\,'\mathrm{list}'\left('\mathrm{normal}'\right)\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[a\,4^{\frac{1}{2}}+3\right]\,\left[a\,5\right]\,'\mathrm{list}'\left('\mathrm{simplify}'\right)\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[a\,4^{\frac{1}{2}}+3\right]\,\left[a\,5\right]\,'\mathrm{simplify}'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\mathrm{abs}\left(x\right)\,\mathrm{sqrt}\left(x^2\right)\,'\mathrm{simplify}'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\mathrm{abs}\left(x\right)\,\mathrm{sqrt}\left(x^2\right)\,'\mathrm{simplify}'\left('\mathrm{assume}'='\mathrm{real}'\right)\right)$

$\mathrm{true}$

$\mathrm{verify}\left(R=1-{\cos \left(x\right)}^2\,R={\sin \left(x\right)}^2\,'\mathrm{simplify}'\right)$

$\mathrm{true}$

$\mathrm{r1}≔\mathrm{RootOf}\left(4{\mathrm{\_Z}}^3-8{\mathrm{\_Z}}^2-7\mathrm{\_Z}+3\,\mathrm{index}=2\right)$

$\mathrm{r1}≔\mathrm{RootOf}\left(4{\mathrm{\_Z}}^3-8{\mathrm{\_Z}}^2-7\mathrm{\_Z}+3\,\mathrm{index}=2\right)$

$\mathrm{r2}≔\mathrm{RootOf}\left(4{\mathrm{\_Z}}^3-8{\mathrm{\_Z}}^2-7\mathrm{\_Z}+3\,2.562..2.57\right)$

$\mathrm{r2}≔\mathrm{RootOf}\left(4{\mathrm{\_Z}}^3-8{\mathrm{\_Z}}^2-7\mathrm{\_Z}+3\,2.562..2.57\right)$

$\mathrm{verify}\left(\mathrm{r1}\,\mathrm{r2}\,'\mathrm{evala}'\right)$

$\mathrm{true}$