verify/table - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Logic : Boolean : verify : verify/table

verify/table

verify a relation between the entries of two tables

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

verify(expr1, expr2, table)

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

Parameters

expr1, expr2

-

anything, assumed to be of type table

ver

-

verification for the table entries

Description

• 

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

• 

Since table look-up is done with Boolean comparisons, the indices of two tables are never verified. For example, the tables table([2.0 = 3]) and table([2. = 3]) will never be verified as being equal.

• 

If the two tables have unequal indexing functions, false will be automatically returned. The one exception to this is when one table is symmetric and the other has no indexing function. In this case, the tables will be declared equal if the unindexed table is symmetric and equal to the index table.

• 

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

• 

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

• 

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

• 

The special verifications %NULL, seq, and &, can be used to verify an expression sequence in a table. See verify/exprseq.

Examples

Atablesymmetric,a,b=3

Atablesymmetric,a,b=3

(1)

Btablea,b=3

Btablea,b=3

(2)

Ctablea,b=3,b,a=3

Ctablea,b=3,b,a=3

(3)

verifyA,B,table

false

(4)

verifyA,C,table

true

(5)

Atablea=x2y2xy3

Atablea=x2y2xy3

(6)

Btablea=x2y2xy3

Btablea=x2y2xy3

(7)

Ctablea=y+xx+y2

Ctablea=y+xx+y2

(8)

evalbA=B

false

(9)

verifyA,B,'table'

true

(10)

verifyA,C,'table'

false

(11)

verifyA,C,'tablenormal'

true

(12)

Compatibility

• 

The verify/table command was updated in Maple 2015.

See Also

indexfcn

table

verify