verify/as_list
verify the relation between the operands as though they were lists
Calling Sequence
Parameters
Description
Examples
verify(expr1, expr2, as_list)
verify(expr1, expr2, as_list(ver))
verify(expr1, expr2, as_list(ver, f))
expr1, expr2
-
anything
ver
verification for the operands
f
The verify(expr1, expr2, as_list) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list).
The verify(expr1, expr2, as_list(ver)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list(ver)).
The verify(expr1, expr2, as_list(ver, f)) calling sequence is equivalent to the call verify([op(expr1)], [op(expr2)], list(ver)) with op0,expr1=f and op0,expr2=f.
verifyfa,b,c,ga,b,c,as_list
true
verifyfa,b,x2−2x+1,ga,b,x−12,as_listexpand
verifya,b,c,fa,b,c,as_listboolean,f
false
verifyfa,b,c,fa,b,c,as_listboolean,f
See Also
op
verify
verify/as_set
verify/list
Download Help Document