 verify/testeq - Maple Programming Help

Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/testeq

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}{4}{\mathrm{sin}\left(2x\right)}^{2}-\frac{1}{2}\mathrm{sin}\left(2x\right)\mathrm{cos}\left(x\right)-2{\mathrm{cos}\left(x\right)}^{2}+\frac{1}{2}\mathrm{sin}\left(2x\right){\mathrm{cos}\left(x\right)}^{3}+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)