boolean - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.
Our website is currently undergoing maintenance, which may result in occasional errors while browsing. We apologize for any inconvenience this may cause and are working swiftly to restore full functionality. Thank you for your patience.

Online Help

All Products    Maple    MapleSim


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,exp1,exp2,π,less_than

true,false,FAIL,FAIL,true,false

(12)

mapverify,3,5,a,b,exp1,exp2,π,truefalseless_than

true,false,false,false,true,false

(13)

See Also

evalb

type/verify

verify