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/VariableOrdering

RegularChains[SemiAlgebraicSetTools]

  

VariableOrdering

  

return the variable ordering defined in a quantifier-free formula

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

VariableOrdering(qff)

Parameters

qff

-

a quantifier-free formula

Description

• 

The command VariableOrdering(qff) returns the variable ordering (in decreasing order) defined in quantifier-free formula qff.

Examples

withRegularChains:

withParametricSystemTools:

withSemiAlgebraicSetTools:

RPolynomialRingx,d,a,b,c

R:=polynomial_ring

(1)

Determine under which conditions on a,b,c,d the equation x2+d=0 has 2 distinct real solutions provided that d satisfies ad2+bd+c=0.

Fx2+d,ad2+bd+c

F:=x2+d,ad2+bd+c

(2)

N

N:=

(3)

P

P:=

(4)

H

H:=

(5)

rrcRealRootClassificationF,N,P,H,4,2,R

rrc:=regular_semi_algebraic_set,border_polynomial

(6)

rsasrrc11

rsas:=regular_semi_algebraic_set

(7)

rbxRepresentingBoxrsas,R

rbx:=parametric_box

(8)

qffRepresentingQuantifierFreeFormularbx

qff:=quantifier_free_formula

(9)

VariableOrderingqff

c,d,a,b

(10)

See Also

DisplayParametricBox

IsParametricBox

RealRootClassification

RegularChains

RepresentingBox

RepresentingChain

RepresentingQuantifierFreeFormula

RepresentingRootIndex

VariableOrdering

 


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