|
RegularChains[SemiAlgebraicSetTools][DisplayQuantifierFreeFormula] - pretty printing of a quantifier-free formula
|
|
Calling Sequence
|
|
DisplayQuantifierFreeFormula(qff)
|
|
|
Parameters
|
|
|
qff
|
-
|
quantifier-free formula
|
|
|
|
|
|
Description
|
|
|
•
|
Print the quantifier-free formula in logic formula form
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
>
|
|
|
>
|
![R := PolynomialRing([x, b, a, c])](/support/helpjp/helpview.aspx?si=6399/file06522/math55.png)
|
|
| (1) |
|
>
|
![F := [a*x^2+b*x+c]](/support/helpjp/helpview.aspx?si=6399/file06522/math62.png)
|
|
![F := [a*x^2+b*x+c]](/support/helpjp/helpview.aspx?si=6399/file06522/math65.png)
| (2) |
|
>
|
![N := []](/support/helpjp/helpview.aspx?si=6399/file06522/math69.png)
|
|
![N := []](/support/helpjp/helpview.aspx?si=6399/file06522/math72.png)
| (3) |
|
>
|
![P := [x]](/support/helpjp/helpview.aspx?si=6399/file06522/math76.png)
|
|
![P := [x]](/support/helpjp/helpview.aspx?si=6399/file06522/math79.png)
| (4) |
|
>
|
![H := [a]](/support/helpjp/helpview.aspx?si=6399/file06522/math83.png)
|
|
![H := [a]](/support/helpjp/helpview.aspx?si=6399/file06522/math86.png)
| (5) |
|
>
|
![rrc := RealRootClassification(F, [], [x], [a], 3, 2, R)](/support/helpjp/helpview.aspx?si=6399/file06522/math90.png)
|
|
![rrc := [[regular_semi_algebraic_set], border_polynomial]](/support/helpjp/helpview.aspx?si=6399/file06522/math93.png)
| (6) |
|
>
|
![rsas := rrc[1][1]](/support/helpjp/helpview.aspx?si=6399/file06522/math97.png)
|
|
| (7) |
|
>
|
|
|
| (8) |
|
>
|
|
|
| (9) |
|
>
|
|
|
| (10) |
|
|
Download Help Document
Was this information helpful?
