The special verifications %NULL, seq, and &, can be used to verify an expression sequence in a mutable structure, that is, in an Array, Matrix, Vector, table, or record verification.

%NULL verifies empty expression sequences.

seq(ver) verifies expression sequences of ver verifications.

(ver1 &, ver2 &, ver3 ... ) verifies expression sequences using ver1 for the first element, and so on.

When used in a verification for a mutable structure, these verifications expand to a form that matches the entries wrapped in lists.

When used outside a verification for a mutable structure, these verifications return FAIL.

$r≔\mathrm{Record}\left(\'a\'\=x^2-1\,\'b\'\=3\,\'c\'\=\mathrm{NULL}\right)\:$

$s≔\mathrm{Record}\left(\'a\'\=\left(x-1\right)\left(x\+1\right)\,\'b\'\=3\,\'c\'\=\mathrm{NULL}\right)\:$

$\mathrm{verify}\left(r\,s\,\'\mathrm{record}\left(\mathrm{expand}\right)\'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(r\,s\,\'\mathrm{record}\left(\mathrm{Or}\left(\mathrm{expand}\,\mathrm{\%NULL}\right)\right)\'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(r\,s\,\'\mathrm{record}\left(\mathrm{seq}\left(\mathrm{expand}\right)\right)\'\right)$

$\mathrm{true}$

$r≔\mathrm{Record}\left(\'a\'\=\left(42\,x^2-1\,1\right)\,\'b\'\=3\right)\:$

$s≔\mathrm{Record}\left(\'a\'\=\left(42\,\left(x-1\right)\left(x\+1\right)\,2\right)\,\'b\'\=3\right)\:$

$\mathrm{verify}\left(r\,s\,\'\mathrm{record}\left(\mathrm{Or}\left(\mathrm{truefalse}\,\left(\mathrm{truefalse}\&,\mathrm{expand}\right)\&,\mathrm{less\_than}\right)\right)\'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left[\right]\,\left[\right]\,\'\mathrm{\%NULL}\'\right)$

$\mathrm{FAIL}$

The verify/exprseq command was introduced in Maple 2015.

For more information on Maple 2015 changes, see Updates in Maple 2015.