|
RegularChains[SemiAlgebraicSetTools][RepresentingBox] - return the representing box of a semi-algebraic set
|
|
Calling Sequence
|
|
RepresentingBox(rst, R)
|
|
|
Parameters
|
|
|
rst
|
-
|
regular semi-algebraic set
|
|
R
|
-
|
polynomial ring
|
|
|
|
|
|
Description
|
|
|
•
|
The command RepresentingBox(rst, R) returns the representing box or parametric box of a regular semi-algebraic set.
|
|
•
|
See the page SemiAlgebraicSetTools for the definitions of a regular semi-algebraic set, a parametric box and a box.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
>
|
|
|
>
|
![R := PolynomialRing([x, d, a, b, c])](/support/helpjp/helpview.aspx?si=6392/file06530/math74.png)
|
|
| (1) |
Determine under which conditions on  the equation  has  distinct real solutions, provided that  satisfies  .
|
>
|
![F := [x^2+d, a*d^2+b*d+c]](/support/helpjp/helpview.aspx?si=6392/file06530/math93.png)
|
|
![F := [x^2+d, a*d^2+b*d+c]](/support/helpjp/helpview.aspx?si=6392/file06530/math96.png)
| (2) |
|
>
|
![N := []](/support/helpjp/helpview.aspx?si=6392/file06530/math100.png)
|
|
![N := []](/support/helpjp/helpview.aspx?si=6392/file06530/math103.png)
| (3) |
|
>
|
![P := []](/support/helpjp/helpview.aspx?si=6392/file06530/math107.png)
|
|
![P := []](/support/helpjp/helpview.aspx?si=6392/file06530/math110.png)
| (4) |
|
>
|
![H := []](/support/helpjp/helpview.aspx?si=6392/file06530/math114.png)
|
|
![H := []](/support/helpjp/helpview.aspx?si=6392/file06530/math117.png)
| (5) |
|
>
|
|
|
![rrc := [[regular_semi_algebraic_set], border_polynomial]](/support/helpjp/helpview.aspx?si=6392/file06530/math124.png)
| (6) |
|
>
|
![rsas := rrc[1][1]](/support/helpjp/helpview.aspx?si=6392/file06530/math128.png)
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
|
|
![[[[d], [[-1]]], [a*d^2+b*d+c], [[1]]]](/support/helpjp/helpview.aspx?si=6392/file06530/math145.png)
| (9) |
|
|
Download Help Document
Was this information helpful?
