The verify(expr1, expr2, neighborhood(dist, opt1, opt2, ...)) calling sequence returns true if it can determine that the distance between expr1 and expr2 is less than dist.

By default, the distance is measured in Euclidean space, that is, the square root of the sum of the squares of the differences between the points.  This can be modified by using the option $p=N$, where $N$ is between $0$ and $\mathrm{\infty }$, inclusive. This distance is given by:

By default, the neighborhood is open, that is, the distance must be strictly less than dist. This can be modified by using the option closed to indicate that the distance is less than or equal to dist, or by using boundary to indicate that the distance is exactly equal to dist.

By default, the precision used for floating-point computations is determined by Digits. This can be changed, however, by setting $\mathrm{digits}=d$, where $d$ is any positive integer.

This verification is symmetric.

If either expr1 or expr2 is not of type algebraic then false is returned.

$\mathrm{verify}\left(\mathrm{\pi }\,3\,'\mathrm{neighborhood}\left(1\right)'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(3\,4\,'\mathrm{neighborhood}\left(1\right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(3\,4\,'\mathrm{neighborhood}\left(1\,\mathrm{open}\right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[\frac{\mathrm{sqrt}\left(2\right)}{2}\,\frac{\mathrm{sqrt}\left(2\right)}{2}\right]\,\left[0\,0\right]\,'\mathrm{neighborhood}\left(1\right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[\frac{\mathrm{sqrt}\left(2\right)}{2}\,\frac{\mathrm{sqrt}\left(2\right)}{2}\right]\,\left[0\,0\right]\,'\mathrm{neighborhood}\left(1\,\mathrm{closed}\right)'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left[\frac{\mathrm{sqrt}\left(2\right)}{2}\,\frac{\mathrm{sqrt}\left(2\right)}{2}\right]\,\left[0\,0\right]\,'\mathrm{neighborhood}\left(1\,p=3\right)'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left[1\,1\right]\,\left[0\,0\right]\,'\mathrm{neighborhood}\left(1\,p=\mathrm{\infty }\right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[1\,1\right]\,\left[0\,0\right]\,'\mathrm{neighborhood}\left(1\,p=\mathrm{\infty }\,\mathrm{closed}\right)'\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\mathrm{\pi }\,3.1415\,'\mathrm{neighbourhood}\left(0.00001\,\mathrm{digits}=10\right)'\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\mathrm{\pi }\,3.1415\,'\mathrm{neighbourhood}\left(0.00001\,\mathrm{digits}=4\right)'\right)$

$\mathrm{true}$

The verify/neighborhood command was updated in Maple 2024.

The digits option was introduced in Maple 2024.

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