verify/boolean - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

verify/boolean

return a Boolean comparison or result

verify/truefalse

return a truefalse comparison or result

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, boolean)

verify(expr1, expr2, boolean(ver))

verify(expr1, expr2, truefalse)

verify(expr1, expr2, truefalse(ver))

Parameters

expr1, expr2

-

anything

ver

-

verification

Description

• 

The verify(expr1, expr2, boolean) and verify(expr1, expr2, truefalse) calling sequences perform an evalb comparison. That is, verify(a, b, boolean) = evalb(a = b) and verify(a, b, truefalse) = evalb(a = b).

• 

If a verification ver is given, then boolean acts as a filter, converting anything returned by verify into either true, false, or FAIL.

• 

The verification truefalse makes one further change, converting any FAIL results into false.

• 

These are useful in case the result from verify is to be used as input to another procedure such as sort or select.

• 

The verifications boolean and truefalse are symmetric and a verification boolean(ver) is symmetric if and only if the verification ver is symmetric. If a verification ver is symmetric, then this implies that the verification truefalse(ver) is symmetric.

Examples

evalbundefined=undefined

true

(1)

verifyundefined,undefined,'boolean'

true

(2)

verifyundefined,undefined,'list'

true

(3)

verifyx12,x22x+1,'boolean'

false

(4)

verify3,3,'list'

false

(5)

verify3,3,'booleanlist'

false

(6)

verify0.3232,0.3233,'float1'

false,1.106,ulps

(7)

verify0.3232,0.3233,'booleanfloat1'

false

(8)

verifysinx,0,greater_than

FAIL

(9)

verifysinx,0,booleangreater_than

FAIL

(10)

verifysinx,0,truefalsegreater_than

false

(11)

mapverify,3,5,a,b,ⅇ,ⅇ2,π,less_than

true,false,FAIL,FAIL,true,false

(12)

mapverify,3,5,a,b,ⅇ,ⅇ2,π,truefalseless_than

true,false,false,false,true,false

(13)

See Also

evalb

type/verify

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