RegularChains[SemiAlgebraicSetTools]
RepresentingQuantifierFreeFormula
return the quantifier-free formula of a parametric box or a regular semi-algebraic system
Calling Sequence
Parameters
Description
Examples
RepresentingQuantifierFreeFormula(pbx)
RepresentingQuantifierFreeFormula(rsas, R)
pbx
-
a parametric box
rsas
a regular semi-algebraic system
R
a polynomial ring
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.
See Also
LazyRealTriangularize
PositiveInequalities
RealRootClassification
RealTriangularize
RegularChains
RepresentingChain
RepresentingRootIndex
Download Help Document