boolean - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

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

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

(12)

(13)

See Also

evalb

type/verify

verify

 


Download Help Document