verify/greater_than, verify/greater_equal, verify/equal, verify/less_equal, verify/less_than - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/greater_than, verify/greater_equal, verify/equal, verify/less_equal, verify/less_than

verify the sign of difference of two objects

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, greater_than)

verify(expr1, expr2, greater_equal)

verify(expr1, expr2, equal)

verify(expr1, expr2, less_equal)

verify(expr1, expr2, less_than)

Parameters

expr1, expr2

-

anything, assumed to be of type algebraic

Description

• 

The verify(expr1, expr2, equal) function returns true if signum0,expr1expr2,0=0 and false if the call to signum returns a numeric object. Otherwise, it returns FAIL.

• 

The verify(expr1, expr2, greater_than) returns true if signum0,expr1,0=0, signum0,expr2,0=0, and signum0,expr1expr2,0=1, and false if either of the first two calls to signum return a nonzero numeric value or if the third returns 0 or 1. Otherwise, it returns FAIL.

• 

The behavior is similar for the remaining verifications.

• 

The verify/equal function is symmetric in its arguments while the others are not.

• 

If either expr1 or expr2 is not of type algebraic, then false is returned.

Examples

verify1,2,3,6,2,3,6,'sublist''less_than'

true

(1)

Get all points in a list greater than Pi

selectverify,1,2,3,4,5,6,a,π,'truefalse''greater_than'

4,5,6

(2)

verifyⅇx,0,'greater_than'

FAIL

(3)

verifyx2,0,'greater_than'

FAIL

(4)

assumex,'real'

verifyⅇx,0,'greater_than'

true

(5)

verifyx2,0,'greater_than','equal'

FAIL

(6)

verifyx2,0,'greater_equal'

true

(7)

See Also

assume

signum

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