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

Online Help

All Products    Maple    MapleSim


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

The verify Function in the Simple Units Environment

 

Description

Examples

Description

• 

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.

Examples

verify3.50000003=a,3.499999997=a,'float100=boolean'

true

(1)

The following result is unexpectedly false due to the Simple Units version of an equation being passed to the global version of verify.

withUnitsSimple:

:-verify3.50000003=a,3.499999997=a,'float100=boolean'

false

(2)

By using the Simple Units version of verify, we make sure this equation is converted to its global version, and we get the expected answer.

verify3.50000003=a,3.499999997=a,'float100=boolean'

true

(3)

See Also

Units

Units/Simple

Units/Simple/arithmetic operators

Units/Simple/equalities

Units/Simple/inequalities

verify