The verify(x, y, after(f)) calling sequence returns true if f(x) and f(y) are equal.

The verify(x, y, after(f, ver, other, arguments)) calling sequence returns true if f(x, other, arguments) and f(y, other, arguments) compare as equal under the verification verification.

If you want to specify extra arguments to be passed to f, you must specify verification, too. The default verification is boolean, which tests for equality.

$a≔-5$

$a≔\mathrm{-5}$

$b≔3+4\mathrm{I}$

$b≔3+4\mathrm{I}$

$\mathrm{verify}\left(a\,b\,\mathrm{after}\left(\mathrm{abs}\right)\right)$

$\mathrm{true}$

$a≔2+\sin \left(f\left(3\,4\right)\right)f\left(5\right)$

$a≔2+\sin \left(f\left(3\,4\right)\right)f\left(5\right)$

$b≔2+\sin \left(f\left(1\right)\right)f\left(2\,6\right)$

$b≔2+\sin \left(f\left(1\right)\right)f\left(2\,6\right)$

$\mathrm{verify}\left(a\,b\,\mathrm{after}\left(\mathrm{subsindets}\,\mathrm{boolean}\,\mathrm{specfunc}\left(f\right)\,\mathrm{fx}\mapsto f\left(\right)\right)\right)$

$\mathrm{true}$

$a≔\left[2+\sin \left(f\left(3\,4\right)\right)f\left(5\right)\,f\left(2\right)+\cos \left(x\right)\right]$

$a≔\left[2+\sin \left(f\left(3\,4\right)\right)f\left(5\right)\,f\left(2\right)+\cos \left(x\right)\right]$

$b≔\left[\cos \left(x\right)+f\left(3\,5\right)\,\sin \left(f\left(2\,5\right)\right)f\left(6\right)+2\right]$

$b≔\left[\cos \left(x\right)+f\left(3\,5\right)\,\sin \left(f\left(2\,5\right)\right)f\left(6\right)+2\right]$

$\mathrm{verify}\left(a\,b\,\mathrm{after}\left(\mathrm{subsindets}\,\mathrm{as\_set}\,\mathrm{specfunc}\left(f\right)\,\mathrm{fx}\mapsto f\left(\right)\right)\right)$

$\mathrm{true}$

The verify/after command was introduced in Maple 2021.

For more information on Maple 2021 changes, see Updates in Maple 2021.