The verify(expr1, expr2, record) calling sequence returns true if the expressions expr1 and expr2 are both of type record, and are equal as records. Two records are considered equal if they have the same slot names, and corresponding slot values are equal or unassigned.

•

The verify(expr1, expr2, record(ver)) calling sequence returns true if the expressions expr1 and expr2 are both of type record, and are equal with respect to the verification ver. For a list of verifications, see verify.

•

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

Maplesoft™, a subsidiary of Cybernet Systems Co. Ltd. in Japan, is the leading provider of high-performance software tools for engineering, science, and mathematics. Its product suite reflects the philosophy that given great tools, people can do great things.