verify/Global
verify the equality of two expressions after converting local variables to global
Calling Sequence
Parameters
Description
Examples
verify(expr1, expr2, Global)
expr1, expr2
-
anything
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.
y := proc() local x; x; end proc();
This is equivalent to the following:
See Also
convert,global
global
verify
Download Help Document