pretty printing of a quantifier-free formula - Maple Help

Online Help

All Products    Maple    MapleSim


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

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

withRegularChains:

withParametricSystemTools:

withSemiAlgebraicSetTools:

R:=PolynomialRingx,b,a,c

R:=polynomial_ring

(1)

F:=ax2+bx+c

F:=ax2+bx+c

(2)

N:=

N:=

(3)

P:=x

P:=x

(4)

H:=a

H:=a

(5)

rrc:=RealRootClassificationF,,x,a,3,2,R

rrc:=regular_semi_algebraic_set,border_polynomial

(6)

rsas:=rrc11

rsas:=regular_semi_algebraic_set

(7)

pbx:=RepresentingBoxrsas,R

pbx:=parametric_box

(8)

qff:=RepresentingQuantifierFreeFormulapbx

qff:=quantifier_free_formula

(9)

DisplayQuantifierFreeFormulaqff:

c<0anda<0andb>0and4acb2<0

orc>0anda>0andb<0and4acb2<0

(10)

See Also

DisplayParametricBox RepresentingQuantifierFreeFormula, RealRootClassification, RegularChains


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam