type/verification - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/verification

type/verification

check for verification expressions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(a, {verification})

Parameters

a

-

any expression

Description

• 

The call type(a, verification) checks to see if a is a valid verification expression. By definition, a verification expression is any expression a for which the commands verify(expr1, expr2, boolean(a)) and (with appropriate arguments) verify(expr1, expr2, a) could succeed.

Examples

typeset,verification

true

(1)

verifya,b,a,b,c,set

false

(2)

verifya,b,c,a,b,c,set

true

(3)

typelistexpand,verification

true

(4)

verifya,b,xx1,a,b,x2x,listexpand

true

(5)

myverAndNotset,`subset`

myver:=AndNotset,subset

(6)

typemyver,verification

true

(7)

verifya,b,a,b,c,myver

true

(8)

verifya,b,c,a,b,c,myver

false

(9)

See Also

type

type/verify

verify

verify/structured

 


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