The verify(expr1, expr2, expand), verify(expr1, expr2, normal), and verify(expr1, expr2, simplify) calling sequences return true if the difference between the arguments expr1 and expr2 is zero after having applied the procedures expand, normal, and simplify, respectively.

Any optional parameters are passed on as subsequent arguments to the appropriate procedures.

These verifications are symmetric.

Because expand, normal, and simplify are Maple procedures, they must be enclosed in single quotes to prevent evaluation.

If either expr1 or expr2 is not of type algebraic then false is returned.