verify/And, verify/Or, verify/Not - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/And, verify/Or, verify/Not

Boolean combinations of verifications

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, And(ver1, ver2,...))

verify(expr1, expr2, Or(ver1, ver2,...))

verify(expr1, expr2, Not(ver))

Parameters

expr1, expr2

-

anything

ver, ver1, ver2, ...

-

verifications

Description

• 

With And, Or, and Not, new verifications can be constructed from existing verifications.

• 

An And verification structure returns true if the first two arguments satisfy the relations checked by all the verifications ver1, ver2, ...

• 

An Or verification structure returns true if the first two arguments satisfy at least one of the relations checked by the given verifications.

• 

Not converts any true results into false and any standard false results (of type 'verify'(false)) into true.

• 

These verifications are symmetric in the first two arguments if and only if the verifications ver1, ver2, ... are symmetric.

• 

The constructor Or can be used instead of a set to fix the order of evaluation of the verifications.

Examples

verifya,b,a,b,c,'And''`subset`','Not''set'

true

(1)

verifya,b,c,a,b,c,'And''`subset`','Not''set'

false

(2)

expand is much cheaper operation, so call it before calling simplify

verifyxx1,bⅇa+c,x2x,ⅇa+lnbⅇc,'list''Or''expand','simplify'

true

(3)

verify0.3,0.5,float10

false,2.109,ulps

(4)

verify0.3,0.5,'Not''float'10

true

(5)

See Also

boolean

verify

verify/boolean

 


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