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

Online Help

All Products    Maple    MapleSim


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.

• 

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

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

true

(1)

with(Units[Standard]):

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

false

(2)

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

true

(3)

See Also

Units

Units/Standard

Units/Standard/arithmetic operators

Units/Standard/equalities

Units/Standard/inequalities

verify