verify/Global - Maple Help

verify/Global

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

 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();
 ${y}{≔}{x}$ (1)
 > $\mathrm{verify}\left(f\left(y\right),f\left(x\right)\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{verify}\left(f\left(y\right),f\left(x\right),\mathrm{Global}\right)$
 ${\mathrm{true}}$ (3)

This is equivalent to the following:

 > $\mathrm{verify}\left(\mathrm{convert}\left(f\left(y\right),'\mathrm{global}'\right),\mathrm{convert}\left(f\left(x\right),'\mathrm{global}'\right)\right)$
 ${\mathrm{true}}$ (4)