verify/sign - Maple Help

Online Help

All Products    Maple    MapleSim


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

verify/sign

verify for sign differences

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, sign)

Parameters

expr1, expr2

-

anything, assumed to be of type algebraic

Description

• 

The verify(expr1, expr2, sign) calling sequence returns true if any of the following is true:

1. 

The arguments are equal.

2. 

Multiplying pairs of multiplicands by 1 results in equal arguments.

3. 

Given an and bn where n is even, a=b or a=b.

• 

This verification is more memory and computationally intensive than checking whether the normal of the difference is zero, but it ensures that the two arguments have similar forms.

• 

This verification is symmetric.

Examples

verifyxab,xba,sign

true

(1)

p3xy2x2yxyxy4xxy2+2x2yy3x

p:=3xy2xy+x2y3xyxy2+2x2yy3x

(2)

q3yx2xy+2yx4xyx2yxy22x3xy

q:=3yx2xyx+2yxy22x+2y

(3)

verifyp,q,sign

false

(4)

See Also

type/algebraic

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