verify a relation between two polynomials
verify(expr1, expr2, polynom)
verify(expr3, expr4, polynom(ver))
verify(expr3, expr4, polynom(ver, var))
anything, assumed to be of type polynom
anything, assumed to be of type polynom(anything, var)
verification for the coefficient domain
name or list or set of names (the variables)
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.
Digits ≔ 3
Download Help Document