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

 > $\mathrm{type}\left(\mathrm{set},\mathrm{verification}\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{verify}\left(\left\{a,b\right\},\left\{a,b,c\right\},\mathrm{set}\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{verify}\left(\left\{a,b,c\right\},\left\{a,b,c\right\},\mathrm{set}\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{type}\left(\mathrm{list}\left(\mathrm{expand}\right),\mathrm{verification}\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{verify}\left(\left[a,b,x\left(x-1\right)\right],\left[a,b,{x}^{2}-x\right],\mathrm{list}\left(\mathrm{expand}\right)\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{myver}:=\mathrm{And}\left(\mathrm{Not}\left(\mathrm{set}\right),\mathrm{subset}\right)$
 ${\mathrm{myver}}{:=}{\mathrm{And}}{}\left({\mathrm{Not}}{}\left({\mathrm{set}}\right){,}{\mathrm{subset}}\right)$ (6)
 > $\mathrm{type}\left(\mathrm{myver},\mathrm{verification}\right)$
 ${\mathrm{true}}$ (7)
 > $\mathrm{verify}\left(\left\{a,b\right\},\left\{a,b,c\right\},\mathrm{myver}\right)$
 ${\mathrm{true}}$ (8)
 > $\mathrm{verify}\left(\left\{a,b,c\right\},\left\{a,b,c\right\},\mathrm{myver}\right)$
 ${\mathrm{false}}$ (9)
 See Also

## Was this information helpful?

 Please add your Comment (Optional) E-mail Address (Optional) What is ? This question helps us to combat spam