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

RegularChains[SemiAlgebraicSetTools]

  

IsParametricBox

  

check if an input is a parametric box

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

IsParametricBox(b)

Parameters

b

-

any value

Description

• 

The command IsParametricBox(b) returns true if b is a parametric box, and false otherwise.

• 

See the page SemiAlgebraicSetTools for the definitions of a regular semi-algebraic system, a parametric box and a box.

Examples

withRegularChains:

withParametricSystemTools:

withSemiAlgebraicSetTools:

RPolynomialRingx,b,a,c

R:=polynomial_ring

(1)

Fax2+bx+c

F:=ax2+bx+c

(2)

N

N:=

(3)

Px

P:=x

(4)

Ha

H:=a

(5)

rrcRealRootClassificationF,,x,a,3,2,R

rrc:=regular_semi_algebraic_set,border_polynomial

(6)

rsasrrc11

rsas:=regular_semi_algebraic_set

(7)

pbxRepresentingBoxrsas,R

pbx:=parametric_box

(8)

IsParametricBoxpbx

true

(9)

IsParametricBoxrsas

false

(10)

See Also

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