The verify(expr1, expr2, as_set) calling sequence is equivalent to the call verify({op(expr1)},{op(expr2)}, set).

The verify(expr1, expr2, as_set(ver)) calling sequence is equivalent to the call verify({op(expr1)}, {op(expr2)}, set(ver)).

The verify(expr1, expr2, as_set(ver, f)) calling sequence is equivalent to the call verify({op(expr1)}, {op(expr2)}, set(ver)) with $\mathrm{op}\left(0\,\mathrm{expr1}\right)=f$ and $\mathrm{op}\left(0\,\mathrm{expr2}\right)=f$.

$\mathrm{verify}\left(f\left(a\,b\right)\,f\left(b\,a\right)\,'\mathrm{as\_set}'\right)$

$\mathrm{true}$

$\mathrm{evalb}\left(\min \left(1\,x^2-2x+1\right)=\min \left({\left(x-1\right)}^2\,1\right)\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\min \left(1\,x^2-2x+1\right)\,\left[{\left(x-1\right)}^2\,1\right]\,'\mathrm{as\_set}\left(\mathrm{expand}\right)'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\min \left(1\,x^2-2x+1\right)\,\left[{\left(x-1\right)}^2\,1\right]\,'\mathrm{as\_set}\left(\mathrm{expand}\,\min \right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\min \left(1\,x^2-2x+1\right)\,\min \left({\left(x-1\right)}^2\,1\right)\,'\mathrm{as\_set}\left(\mathrm{expand}\,\min \right)'\right)$

$\mathrm{true}$