verify/symbol - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/symbol

verify that two symbols appear the same

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, symbol)

Parameters

expr1, expr2

-

anything, assumed to be of type symbol

Description

• 

The verify(expr1, expr2, symbol) calling sequence returns true if the two symbols "appear the same". The result can be different from that produced by the evalb routine if either symbol has assumptions or is an escaped local.

• 

This verification is symmetric in its arguments.

• 

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

Examples

assume0<a

a,a,evalba=a

a~,a,false

(1)

verifya&comma;a&comma;symbol

true

(2)

fconvertb&comma;`local`

fb

(3)

b,f,evalbb=f

b,b,false

(4)

verifyb&comma;f&comma;symbol

true

(5)

See Also

assume

evalb

local

verify