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

Online Help

All Products    Maple    MapleSim


verify/array

verify a relation between two arrays

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

verify(expr1, expr2, array)

verify(expr1, expr2, 'array'(ver))

Parameters

expr1, expr2

-

anything, assumed to be of type array

ver

-

verification for the array elements

Description

• 

The verify(expr1, expr2, array) and verify(expr1, expr2, 'array'(ver)) calling sequences return true if it can be determined that the two arrays satisfy a relation elementwise, either by testing with equality or using the verification ver.

• 

If true is returned, then each of the pairs of elements satisfied the relation. If false is returned, then at least one pair of elements did not satisfy the relation (a result of type verify(false)). Otherwise, FAIL is returned, indicating that for at least one pair of elements it could not be determined whether or not they satisfied the relation (a result of type verify(FAIL)).

• 

The verification array is symmetric and a verification 'array'(ver) is symmetric if and only if the verification ver is symmetric.

• 

Because array is a Maple function, it must be enclosed in single quotes to prevent evaluation.

• 

If either expr1 or expr2 is not of type array, then false is returned.

• 

Note: The command array has been superseded by Array.

Examples

aarray1..3,1,2,x12

a12x12

(1)

barray1..3,1,2,x12

b12x12

(2)

carray1..3,1,2,x22x+1

c12x22x+1

(3)

evalba=b

false

(4)

verifya,b,array

true

(5)

verifya,c,array

false

(6)

verifya,c,arrayexpand

true

(7)

See Also

array(deprecated)

verify

verify/Array