verify the equality of two expressions with units
verify(expr1, expr2, units)
verify(expr1, expr2, units(ver))
anything, assumed to be of type algebraic
(optional) verification to be used
The verify(expr1, expr2, units) and verify(expr1, expr2, units(ver)) calling sequences check if both expr1 and expr2 are multiplied by Unit objects with the same dimension, in which case, each object is converted to the default system of units, the units are removed, and the results are compared with evalb or the verification ver if specified.
If this conversion cannot be done, no change is made to the arguments expr1 or expr2 before they are compared.
If either expr1 or expr2 is not of type algebraic, then false is returned.
Automatically loading the Units[Simple] subpackage
Download Help Document
What kind of issue would you like to report? (Optional)