|
RegularChains[SemiAlgebraicSetTools][PositiveInequalities] - return the positive inequalities of a regular semi-algebraic system
|
|
Calling Sequence
|
|
PositiveInequalities(rsas, R)
|
|
|
Parameters
|
|
|
rsas
|
-
|
regular semi-algebraic system
|
|
R
|
-
|
polynomial ring
|
|
|
|
|
|
Description
|
|
|
•
|
The command PositiveInequalities(rsas, R) returns the defining positive inequalities of the regular semi-algebraic system rsas. The polynomials must belong to R which must have characterisitic zero.
|
|
|
See the page SemiAlgebraicSetTools for the definitions of a regular semi-algebraic system and that of a regular semi-algebraic set.
|
|
|
|
Compatibility
|
|
|
•
|
The RegularChains[SemiAlgebraicSetTools][PositiveInequalities] command was introduced in Maple 15.
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
>
|
![F := [a*x^2+b*x+c = 0, 0 < x, a <> 0]](/support/helpjp/helpview.aspx?si=6397/file06526/math87.png)
|
|
![F := [a*x^2+b*x+c = 0, 0 < x, a <> 0]](/support/helpjp/helpview.aspx?si=6397/file06526/math90.png)
| (1) |
|
>
|
![R := PolynomialRing([x, c, b, a])](/support/helpjp/helpview.aspx?si=6397/file06526/math94.png)
|
|
| (2) |
|
>
|
|
|
![out := [regular_semi_algebraic_system]](/support/helpjp/helpview.aspx?si=6397/file06526/math104.png)
| (3) |
|
>
|
|
|
| (4) |
|
>
|
![P := PositiveInequalities(out[1], R)](/support/helpjp/helpview.aspx?si=6397/file06526/math115.png)
|
|
![P := [x]](/support/helpjp/helpview.aspx?si=6397/file06526/math118.png)
| (5) |
|
>
|
![rc := RepresentingChain(out[1], R)](/support/helpjp/helpview.aspx?si=6397/file06526/math122.png)
|
|
| (6) |
|
>
|
![qff := RepresentingQuantifierFreeFormula(out[1])](/support/helpjp/helpview.aspx?si=6397/file06526/math129.png)
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
![Display(out[1], R)](/support/helpjp/helpview.aspx?si=6397/file06526/math152.png)
|
|
| (9) |
|
|
Download Help Document
Was this information helpful?
