verify[neighborhood] - verify that a point is within a neighborhood of another
|
Calling Sequence
|
|
verify(expr1, expr2, neighborhood(dist, opt1, opt2, ...))
verify(expr1, expr2, neighbourhood(dist, opt1, opt2, ...))
|
|
Parameters
|
|
expr1, expr2
|
-
|
algebraic objects or lists of algebraic objects
|
dist
|
-
|
algebraic object with a non-negative signum
|
opt1, opt2, ...
|
-
|
optional arguments
|
|
|
|
|
Description
|
|
•
|
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 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.
|
|
|
Examples
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
|
|