type/verification (VerifyTools:-IsVerification)
check for verification expressions
Calling Sequence
Parameters
Description
Examples
Compatibility
type(a, verification)
VerifyTools:-IsVerification(a)
a
-
any expression
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.
The type verification is also available in the VerifyTools package as VerifyTools:-IsVerification.
type⁡set,verification
true
verify⁡a,b,a,b,c,set
false
verify⁡a,b,c,a,b,c,set
type⁡list⁡expand,verification
verify⁡a,b,x⁢x−1,a,b,x2−x,list⁡expand
myver≔And⁡Not⁡set,`subset`
myver≔¬set∧subset
type⁡myver,verification
verify⁡a,b,a,b,c,myver
verify⁡a,b,c,a,b,c,myver
VerifyTools:-IsVerification⁡myver
The type/verification (VerifyTools:-IsVerification) command was updated in Maple 2025.
See Also
type
type/verify
verify
verify/structured
VerifyTools
Download Help Document