verify the equality of two complex expressions - 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

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

a:=2121212+21214

a:=2+21/4

(1)

b:=I21412+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