RepresentingQuantifierFreeFormula - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


RegularChains[SemiAlgebraicSetTools]

  

RepresentingQuantifierFreeFormula

  

return the quantifier-free formula of a parametric box or a regular semi-algebraic system

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

RepresentingQuantifierFreeFormula(pbx)

RepresentingQuantifierFreeFormula(rsas, 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)

See Also

LazyRealTriangularize

PositiveInequalities

RealRootClassification

RealTriangularize

RegularChains

RepresentingChain

RepresentingRootIndex

 


Download Help Document