RegularChains[SemiAlgebraicSetTools] - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : RegularChains : SemiAlgebraicSetTools Subpackage : RegularChains/SemiAlgebraicSetTools/PositiveInequalities

RegularChains[SemiAlgebraicSetTools]

  

PositiveInequalities

  

return the positive inequalities of a regular semi-algebraic system

 

Calling Sequence

Parameters

Description

Examples

Compatibility

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 characteristic zero.

  

See the page SemiAlgebraicSetTools for the definitions of a regular semi-algebraic system and that of a regular semi-algebraic set.

Examples

withRegularChains:

withSemiAlgebraicSetTools:

Fax2&plus;bx&plus;c&equals;0&comma;0<x&comma;a0

Fax2&plus;bx&plus;c&equals;0&comma;0<x&comma;a0

(1)

RPolynomialRingx&comma;c&comma;b&comma;a

Rpolynomial_ring

(2)

outLazyRealTriangularizeF&comma;R&comma;output&equals;list

outregular_semi_algebraic_system

(3)

mapDisplay&comma;out&comma;R

&lcub;ax2+bx+c=0x>0&lcub;4ca+b2>0andb<0andc>0anda0or4ca+b2>0andb>0andc>0anda<0or4ca+b2>0andb>0andc<0anda0or4ca+b2>0andb<0andc<0anda>0

(4)

PPositiveInequalitiesout1&comma;R

Px

(5)

rcRepresentingChainout1&comma;R

rcregular_chain

(6)

qffRepresentingQuantifierFreeFormulaout1

qffquantifier_free_formula

(7)

Displayqff&comma;R

4ca+b2>0andb<0andc>0anda0

or4ca+b2>0andb>0andc>0anda<0

or4ca+b2>0andb>0andc<0anda0

or4ca+b2>0andb<0andc<0anda>0

(8)

Displayout1&comma;R

&lcub;ax2+bx+c=0x>0&lcub;4ca+b2>0andb<0andc>0anda0or4ca+b2>0andb>0andc>0anda<0or4ca+b2>0andb>0andc<0anda0or4ca+b2>0andb<0andc<0anda>0

(9)

Compatibility

• 

The RegularChains[SemiAlgebraicSetTools][PositiveInequalities] command was introduced in Maple 15.

• 

For more information on Maple 15 changes, see Updates in Maple 15.

See Also

RealTriangularize

RegularChains

RepresentingChain

RepresentingQuantifierFreeFormula

SemiAlgebraicSetTools