verify - 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


type/verify

check for the Boolean of verification results

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(a, verify(bool))

Parameters

a

-

any expression

bool

-

either 'true', 'false', or 'FAIL'

Description

• 

Forcing a result from verify to return a Boolean value is too restrictive, so a more general class of objects may be returned, with the Boolean value of these being checked by the above types.

• 

A result from a call to verify is considered to be true if the result is true.  A result from a call to verify is considered to be either false or FAIL if either of those values is returned, or if a list containing either false or FAIL as a first operand is returned, respectively.

• 

The special verification boolean will convert all return values which are lists to return the first operand of the list.  This can be used if a boolean value is expected by some procedure.

• 

The special verification truefalse will convert all return values which are lists to return the false.  This can be used if a truefalse value is expected by some procedure.

Examples

typetrue,verifytrue

true

(1)

typefalse,verifyfalse

true

(2)

typefalse,0.100108,ulps,verifyfalse

true

(3)

verify10,10.000001,float2

false,100.,ulps

(4)

verify10,10.000001,booleanfloat2

false

(5)

verifyx,π,greater_than

FAIL

(6)

verifyx,π,truefalsegreater_than

false

(7)

selectverify,1,2,3,x,π,less_than

1,2,3

(8)

selectverify,1,2,3,x,π,truefalseless_than

1,2,3

(9)

See Also

type

type/verification

verify

verify/structured