The verify(expr1, expr2, polynom), verify(expr3, expr4, polynom(ver)), and verify(expr3, expr4, polynom(ver, var)) calling sequences return true if it can be determined that the polynomials expr1 and expr2 satisfy a relation by comparing the coefficients, either by testing for equality or by using the verification ver.

This verification procedure does not expand polynomials, but instead maps itself onto the operands which are not of type expanded. This preserves the form of the polynomial and does not introduce changes due to the expansion.

The verification polynom is symmetric and verifications polynom(ver) or polynom(ver, var) are symmetric if and only if the verification ver is symmetric.

If verify(0, 0, ver) does not evaluate to true, then this routine returns false or FAIL, as appropriate, since no polynomial is dense.

If either expr1 or expr2 is not of type polynom or, if the option var is specified, of type polynom(anything, var), then false is returned.