type/verification - Maple Programming Help

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{set}}{\wedge }{\mathrm{subset}}$ (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)