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.