verify/relation - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/relation

verify a relation between two relations

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, relation)

verify(expr1, expr2, relation(ver))

Parameters

expr1, expr2

-

expressions

ver

-

verification

Description

• 

The verify(expr1, expr2, relation) and verify(expr1, expr2, relation(ver)) calling sequences return true if it can be determined that the relations expr1 and expr2 are equivalent, either by testing for equality or by using verify/ver.

• 

Two equations or inequations are considered to satisfy a relation if the left-hand side minus the right-hand side of the first argument is related to either plus or minus the same construction for the second argument.

• 

Two similar inequalities are considered to satisfy a relation if the left-hand side minus the right-hand side of the first argument is related to the left-hand side minus the right-hand side of the second argument.

• 

The verification relation is symmetric and a verification relation(ver) is symmetric if and only if the verification ver is symmetric.

• 

If either expr1 or expr2 is not of type relation, then false is returned.  If expr1 and expr2 are not both of type =, <, <=, or <>,  then false is returned.

Examples

verifyx21&equals;1&comma;x2&equals;2&comma;&apos;relation&apos;

true

(1)

verifyx2&equals;1&comma;x1x&plus;1&equals;0&comma;&apos;relation&apos;

false

(2)

verifyx2&equals;1&comma;x1x&plus;1&equals;0&comma;&apos;relation&apos;&apos;expand&apos;

true

(3)

See Also

type/relation

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