verify/testeq - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/testeq

verify the equality of two expressions

 

Calling Sequence

Parameters

Description

Examples

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

asinx2cosxtanxsinx2+cosxtanx2:

b1sin2x241sin2xcosx22cosx2+1sin2xcosx32+3cosx4cosx6:

mapverify,a,b,sinx2cosxtanx,a,'testeq'

true,true,false

(1)

See Also

testeq

verify