The type Function in the Simple Units Environment
In the Simple Units environment, the global type function is replaced by a type function that converts any unevaluated arithmetic operators, equalities, or inequalities to their global equivalents. This prevents problems that would otherwise arise because the global type 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 type help page.
The following result is unexpectedly false due to the Simple Units version of an equation being passed to the global version of type.
By using the Simple Units version of type, we make sure this equation is converted to its global version, and we get the expected answer.
Download Help Document