RegularChains[SemiAlgebraicSetTools][RefineBox] - refine a box
RegularChains[SemiAlgebraicSetTools][RefineListBox] - refine a list of boxes
|
Calling Sequence
|
|
RefineBox(box, precision, R)
RefineListBox(l_boxes, precision, R)
|
|
Parameters
|
|
R
|
-
|
polynomial ring
|
box
|
-
|
box isolating a root
|
precision
|
-
|
positive numeric constant
|
l_boxes
|
-
|
list of boxes isolating roots
|
|
|
|
|
Description
|
|
•
|
The RefineBox command refines a box so its width is smaller or equal to precision. It returns a box isolating the same root as box.
|
•
|
The RefineListBox command refines a list of boxes so their widths are smaller or equal to precision. It returns a list of boxes isolating the same roots as l_boxes. It is more efficient than using map and RefineBox when the boxes isolate roots originating from the same regular chain. Refining a box allows one to refine instantly other boxes which share a common part.
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
Refine the first box:
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
Refine all boxes at the same time:
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
|
|
Download Help Document
Was this information helpful?