Overview - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


verify (VerifyTools:-Verify)

relation verification procedure

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

verify(a, b)

verify(a, b, ver)

VerifyTools:-Verify(a, b)

VerifyTools:-Verify(a, b, ver)

Parameters

a

-

any expression

b

-

any expression

ver

-

(optional) verification

Description

• 

The verify procedure is a semi-Boolean valued procedure that checks a relationship between two objects a and b. By default, the relationship checked is simple equality (evalb).  When verification ver is specified, true is returned in the case where the relationship exists. Otherwise a negative result in a standard form is returned (see type/verify).

• 

When ver is specified as a set of verifications, the value returned is true when a and b satisfy the relation for any one of the verifications in the set. Otherwise, false is returned.

• 

A verification ver is said to be symmetric if it is true that verify(a, b, ver) = verify(b, a, ver) for all possible values a and b.  The two argument form of verify is symmetric since it is true that  if and only if .

• 

In addition to the structured verifications (see verify/structured), the following verification names are defined in Maple:

after

And

Array

array

as_list

as_multiset

as_set

boolean

dataframe

dataseries

equal

evala

evalc

expand

exprseq

float

function_bounds

function_shells

Global

greater_equal

greater_than

interval

less_equal

less_than

list

listlist

Matrix

matrix

member

multiset

neighborhood

normal

Not

Or

permute_elements

plot

plot3d

polynom

range

record

relation

reverse

RootOf

set

sign

simplify

sublist

subset

superlist

superset

symbol

table

testeq

truefalse

type

units

Vector

vector

wildcard

 

• 

In addition, the three trivial verifications true, false, and FAIL will always return that result.

• 

Note:  If a verification name is an operator, it must be back-quoted to prevent a syntax error.  See the examples below.

• 

For more information, see verify/datatype, where datatype is one of the names in the above list.

• 

In Maple, some objects return a different result from what may be expected when compared with evalb. For example, 0 and 0. compare equally under evalb, but [0] and [0.] do not.

• 

For information on using structured verification expressions, see verify/structured.

• 

The command verify is also available in the VerifyTools package as VerifyTools:-Verify.

Examples

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

(11)

(12)

(13)

(14)

(15)

(16)

Compatibility

• 

The verify (VerifyTools:-Verify) command was updated in Maple 2025.

See Also

evalb

type/verification

type/verify

verify/structured

VerifyTools

 


Download Help Document