verify/evalc - Maple Help

Online Help

All Products    Maple    MapleSim


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

verify/evalc

verify the equality of two complex expressions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, evalc)

Parameters

expr1, expr2

-

anything, assumed to be of type algebraic

Description

• 

The verify(expr1, expr2, evalc) calling sequence returns true if the difference between the arguments is zero after applying evalc.

• 

This verification is symmetric.

• 

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

Examples

a2121212+21214

a:=2+21/4

(1)

bI21412+I21412

b:=I21/4+I21/4

(2)

verifya,b,evalc

true

(3)

See Also

evalc

verify

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam