verify/symbol - Maple Programming Help

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

verify/symbol

verify that two symbols appear the same

 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

 > $\mathrm{assume}\left(0
 > $a,'a',\mathrm{evalb}\left(a='a'\right)$
 ${\mathrm{a~}}{,}{a}{,}{\mathrm{false}}$ (1)
 > $\mathrm{verify}\left(a,'a',\mathrm{symbol}\right)$
 ${\mathrm{true}}$ (2)
 > $f≔\mathrm{convert}\left(b,\mathrm{local}\right)$
 ${f}{≔}{b}$ (3)
 > $b,f,\mathrm{evalb}\left(b=f\right)$
 ${b}{,}{b}{,}{\mathrm{false}}$ (4)
 > $\mathrm{verify}\left(b,f,\mathrm{symbol}\right)$
 ${\mathrm{true}}$ (5)