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.