verify - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

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.

• 

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

verify(3.50000003 = 'a1', 3.499999997 = 'a1', 'float(100) = boolean');

true

(1)

with(Units[Natural]):

:-verify(3.50000003 = 'a1', 3.499999997 = 'a1', 'float(100) = boolean');  # unexpectedly false

false

(2)

verify(3.50000003 = 'a1', 3.499999997 = 'a1', 'float(100) = boolean');

true

(3)

:-verify(m, 1250/381*ft, 'units');  # this returns false as 'm' is not interpreted as a meter

false

(4)

verify(m, 1250/381*ft, 'units');

true

(5)

See Also

Units

Units/Natural

Units/Natural/arithmetic operators

Units/Natural/equalities

Units/Natural/inequalities

verify

 


Download Help Document