 verify - Maple Help

The verify Function in the Simple Units Environment Description

 • In the Simple Units environment, the global verify function is replaced by a verify function that converts any unevaluated arithmetic operators, equalities, or inequalities to their global equivalents. This prevents problems that would otherwise arise because the global verify command expects to find the global versions, not the versions from the Simple Units environment.
 • Every command in the Simple Units environment that needs to determine whether an expression is valid or not, does so using the Units[TestDimensions] command. Examples

 > $\mathrm{verify}\left(3.50000003=a,3.499999997=a,'\mathrm{float}\left(100\right)=\mathrm{boolean}'\right)$
 ${\mathrm{true}}$ (1)

The following result is unexpectedly false due to the Simple Units version of an equation being passed to the global version of verify.

 > $\mathrm{with}\left(\mathrm{Units}\left[\mathrm{Simple}\right]\right):$
 > $:-\mathrm{verify}\left(3.50000003=a,3.499999997=a,'\mathrm{float}\left(100\right)=\mathrm{boolean}'\right)$
 ${\mathrm{false}}$ (2)

By using the Simple Units version of verify, we make sure this equation is converted to its global version, and we get the expected answer.

 > $\mathrm{verify}\left(3.50000003=a,3.499999997=a,'\mathrm{float}\left(100\right)=\mathrm{boolean}'\right)$
 ${\mathrm{true}}$ (3)