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

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

The verify Function in the Natural Units Environment

Description

 • In the Natural 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 = 'a1', 3.499999997 = 'a1', 'float(100) = boolean');
 ${\mathrm{true}}$ (1)
 > with(Units[Natural]):
 > :-verify(3.50000003 = 'a1', 3.499999997 = 'a1', 'float(100) = boolean');  # unexpectedly false
 ${\mathrm{false}}$ (2)
 > verify(3.50000003 = 'a1', 3.499999997 = 'a1', 'float(100) = boolean');
 ${\mathrm{true}}$ (3)
 > :-verify(m, 1250/381*ft, 'units');  # this returns false as 'm' is not interpreted as a meter
 ${\mathrm{false}}$ (4)
 > verify(m, 1250/381*ft, 'units');
 ${\mathrm{true}}$ (5)