verify/neighborhood - verify that a point is within a neighborhood of another
verify(expr1, expr2, neighborhood(dist, opt1, opt2, ...))
verify(expr1, expr2, neighbourhood(dist, opt1, opt2, ...))
algebraic objects or lists of algebraic objects
algebraic object with a non-negative signum
opt1, opt2, ...
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 ∞, 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.
This verification is symmetric.
If either expr1 or expr2 is not of type algebraic then false is returned.
list, verify, verify/as_list, verify/set
Download Help Document