testeq - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

# Online Help

###### All Products    Maple    MapleSim

verify/testeq

verify the equality of two expressions

 Calling Sequence verify(expr1, expr2, testeq)

Parameters

 expr1, expr2 - anything, assumed to be of type algebraic

Description

 • The verify(expr1, expr2, testeq) function returns true if the difference between the arguments expr1 and expr2 is zero after applying the testeq routine.
 • This verification is symmetric in its arguments.
 • If either expr1 or expr2 is not of type algebraic, then false is returned.

Examples

 > $a≔\left({\mathrm{sin}\left(x\right)}^{2}-\mathrm{cos}\left(x\right)\mathrm{tan}\left(x\right)\right){\left({\mathrm{sin}\left(x\right)}^{2}+\mathrm{cos}\left(x\right)\mathrm{tan}\left(x\right)\right)}^{2}:$
 > $b≔\frac{1{\mathrm{sin}\left(2x\right)}^{2}}{4}-\frac{1\mathrm{sin}\left(2x\right)\mathrm{cos}\left(x\right)}{2}-2{\mathrm{cos}\left(x\right)}^{2}+\frac{1\mathrm{sin}\left(2x\right){\mathrm{cos}\left(x\right)}^{3}}{2}+3{\mathrm{cos}\left(x\right)}^{4}-{\mathrm{cos}\left(x\right)}^{6}:$
 > $\mathrm{map}\left(\mathrm{verify},\left[a,b,{\mathrm{sin}\left(x\right)}^{2}-\mathrm{cos}\left(x\right)\mathrm{tan}\left(x\right)\right],a,'\mathrm{testeq}'\right)$
 $\left[{\mathrm{true}}{,}{\mathrm{true}}{,}{\mathrm{false}}\right]$ (1)

 See Also