verify/polynom - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/polynom

verify/polynom

verify a relation between two polynomials

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, polynom)

verify(expr3, expr4, polynom(ver))

verify(expr3, expr4, polynom(ver, var))

Parameters

expr1, expr2

-

anything, assumed to be of type polynom

expr3, expr4

-

anything, assumed to be of type polynom(anything, var)

ver

-

verification for the coefficient domain

var

-

name or list or set of names (the variables)

Description

• 

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.

Examples

Digits3

Digits:=3

(1)

verifyx0.323.2x35.6x,x0.313.2x35.7x,'polynom'float2,x

false

(2)

verify3.2x41.024x35.6x2+1.792x,x0.313.2x35.7x,'polynom'float2,x

false

(3)

verify3.2x41.024x35.6x2+1.792x,3.2x40.992x35.7x2+1.767x,'polynom'float2,x

false

(4)

verifyx1.1x+1.1,x1.0x+1.2,'polynom''float'10,x

true

(5)

verifyx21.21,x2+0.2x1.20,'polynomfloat10,x'

false

(6)

verifyx2x22x,x42x3,'polynom'

false

(7)

verifyexpandx2x22x,x42x3,'polynom'

true

(8)

See Also

type/polynom

verify

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam