RegularChains[ParametricSystemTools][BelongsTo] - find constructible sets containing a given point
|
Calling Sequence
|
|
BelongsTo(pt, lcs, R)
|
|
Parameters
|
|
pt
|
-
|
point with rational coefficients
|
lcs
|
-
|
list of constructible sets
|
R
|
-
|
polynomial ring
|
|
|
|
|
Description
|
|
•
|
The command BelongsTo(pt, lcs, R) returns the indices of constructible sets in lcs which contain the point pt.
|
•
|
pt is given by a list of rational numbers; must be equal to the number of variables of R.
|
•
|
This command is part of the RegularChains[ParametricSystemTools] package, so it can be used in the form BelongsTo(..) only after executing the command with(RegularChains[ParametricSystemTools]). However, it can always be accessed through the long form of the command by using RegularChains[ParametricSystemTools][BelongsTo](..).
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
|
|
Download Help Document
Was this information helpful?