verify/record - Maple Programming Help

# Online Help

###### All Products    Maple    MapleSim

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

verify/record

verify whether two records are equal

 Calling Sequence verify(expr1, expr2, record) verify(expr1, expr2, record(ver))

Parameters

 expr1, expr2 - anything ver - name; verification

Description

 • 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.

Examples

 > $r≔\mathrm{Record}\left('a'=2,'b'=3\right):$
 > $s≔\mathrm{Record}\left('a'=2,'b'=4\right):$
 > $\mathrm{verify}\left(r,r,'\mathrm{record}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{verify}\left(r,s,'\mathrm{record}'\right)$
 ${\mathrm{false}}$ (2)
 > $r≔\mathrm{Record}\left('a'=2,'b'=3,c\right):$
 > $s≔\mathrm{Record}\left('a'=2,'b'=3,c\right):$
 > $\mathrm{verify}\left(r,s,'\mathrm{record}'\right)$
 ${\mathrm{true}}$ (3)
 > $r≔\mathrm{Record}\left('a'={x}^{2}-1,'b'=3\right):$
 > $s≔\mathrm{Record}\left('a'=\left(x-1\right)\left(x+1\right),'b'=3\right):$
 > $\mathrm{verify}\left(r,s,'\mathrm{record}\left(\mathrm{expand}\right)'\right)$
 ${\mathrm{true}}$ (4)

Compatibility

 • The verify/record command was updated in Maple 2015.

 See Also

## Was this information helpful?

 Please add your Comment (Optional) E-mail Address (Optional) What is ? This question helps us to combat spam