as list - Maple Help

verify/as_list

verify the relation between the operands as though they were lists

 Calling Sequence verify(expr1, expr2, as_list) verify(expr1, expr2, as_list(ver)) verify(expr1, expr2, as_list(ver, f))

Parameters

 expr1, expr2 - anything ver - verification for the operands f - anything

Description

 • 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 $\mathrm{op}\left(0,\mathrm{expr1}\right)=f$ and $\mathrm{op}\left(0,\mathrm{expr2}\right)=f$.

Examples

 > $\mathrm{verify}\left(f\left(a,b,c\right),g\left(a,b,c\right),'\mathrm{as_list}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{verify}\left(f\left(a,b,{x}^{2}-2x+1\right),g\left(a,b,{\left(x-1\right)}^{2}\right),'\mathrm{as_list}\left(\mathrm{expand}\right)'\right)$
 ${\mathrm{true}}$ (2)
 > $\mathrm{verify}\left(\left[a,b,c\right],f\left(a,b,c\right),'\mathrm{as_list}\left(\mathrm{boolean},f\right)'\right)$
 ${\mathrm{false}}$ (3)
 > $\mathrm{verify}\left(f\left(a,b,c\right),f\left(a,b,c\right),'\mathrm{as_list}\left(\mathrm{boolean},f\right)'\right)$
 ${\mathrm{true}}$ (4)