RegularChains[SemiAlgebraicSetTools][RepresentingQuantifierFreeFormula] - return the quantifier-free formula of a parametric box or a regular semi-algebraic system
|
Calling Sequence
|
|
RepresentingQuantifierFreeFormula(pbx)
RepresentingQuantifierFreeFormula(rst, R)
|
|
Parameters
|
|
pbx
|
-
|
a parametric box
|
rsas
|
-
|
a regular semi-algebraic system
|
R
|
-
|
a polynomial ring
|
|
|
|
|
Description
|
|
•
|
The command RepresentingQuantifierFreeFormula(pbx) returns the representing quantifier-free formula of the parametric box pbx.
|
•
|
The command RepresentingQuantifierFreeFormula(rsas, R) returns the representing quantifier-free formula of the regular semi-algebraic system rsas.
|
•
|
See the page SemiAlgebraicSetTools for the definition of a regular semi-algebraic system and that of a parametric box.
|
|
|
Examples
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
>
|
|
| (4) |
>
|
|
| (5) |
>
|
|
| (6) |
>
|
|
| (7) |
>
|
|
| (8) |
>
|
|
| (9) |
>
|
|
| (10) |
>
|
|
| (11) |
>
|
|
| (12) |
>
|
|
| (13) |
>
|
|
| (14) |
>
|
|
| (15) |
>
|
|
| (16) |
>
|
|
| (17) |
>
|
|
| (18) |
>
|
|
| (19) |
|
|
Download Help Document
Was this information helpful?