Global - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.
Our website is currently undergoing maintenance, which may result in occasional errors while browsing. We apologize for any inconvenience this may cause and are working swiftly to restore full functionality. Thank you for your patience.

Online Help

All Products    Maple    MapleSim


verify/Global

verify the equality of two expressions after converting local variables to global

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, Global)

Parameters

expr1, expr2

-

anything

Description

• 

The verify(expr1, expr2, Global) calling sequence returns true if the difference between the arguments is zero after converting them to global.

• 

This verification is symmetric.

Examples

y := proc() local x; x; end proc();

yx

(1)

verifyfy,fx

false

(2)

verifyfy,fx,Global

true

(3)

This is equivalent to the following:

verifyconvertfy,`global`,convertfx,`global`

true

(4)

See Also

convert,global

global

verify