check for verification expressions - 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

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)

myver:=AndNotset,`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