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.