The verify Function in the Standard Units Environment - Maple Programming Help

Home : Support : Online Help : Science and Engineering : Units : Environments : Standard : Units/Standard/verify

The verify Function in the Standard Units Environment

Description

 • In the Standard 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.  The first two arguments are tested to check whether they are valid unit names.
 > verify(3.50000003 = a, 3.499999997 = a, 'float(100) = boolean');
 ${\mathrm{true}}$ (1)
 > with(Units[Standard]):
 > :-verify(3.50000003 = a, 3.499999997 = a, 'float(100) = boolean');  # unexpectedly false
 ${\mathrm{false}}$ (2)
 > verify(3.50000003 = a, 3.499999997 = a, 'float(100) = boolean');
 ${\mathrm{true}}$ (3)