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.

For more information about this function, see the global verify help page.

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

$\mathrm{true}$

$\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}$

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

$\mathrm{true}$