verify expression sequences in a mutable structure
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.
Create two records, each with a c field assigned the NULL value.
r ≔ Record⁡'a'=x2−1,'b'=3,'c'=NULL:
s ≔ Record⁡'a'=x−1⁢x+1,'b'=3,'c'=NULL:
Because the c field is NULL, the verification record(expand), which is needed to compare the a fields, returns false.
Use the verification Or(expand,%NULL) to verify the records.
The seq verifier may also be used for this, because a NULL value matches an empty sequence.
Use the &, operator to verify an expression sequence assigned to a record.
r ≔ Record⁡'a'=42,x2−1,1,'b'=3:
s ≔ Record⁡'a'=42,x−1⁢x+1,2,'b'=3:
verify⁡r,s,'record⁡Or⁡truefalse,truefalse &, expand &, less_than'
Using any of the special verifications outside a mutable structure verifier returns FAIL.
The verify/exprseq command was introduced in Maple 2015.
For more information on Maple 2015 changes, see Updates in Maple 2015.
Download Help Document