DisplayParametricBox - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Mozilla Firefox.

Online Help

All Products    Maple    MapleSim


RegularChains[SemiAlgebraicSetTools]

  

DisplayParametricBox

  

pretty printing of a parametric box object

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

DisplayParametricBox(pbx)

Parameters

pbx

-

parametric box object

Description

• 

Print a parametric box object

Examples

> 

with⁡RegularChains:

> 

with⁡ParametricSystemTools:

> 

with⁡SemiAlgebraicSetTools:

> 

R≔PolynomialRing⁡x,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 a⁢d2+b⁢d+c=0.

> 

F≔x2+d,a⁢d2+b⁢d+c

F≔x2+d,a⁢d2+b⁢d+c

(2)
> 

N≔

N≔

(3)
> 

P≔

P≔

(4)
> 

H≔

H≔

(5)
> 

rrc≔RealRootClassification⁡F,N,P,H,4,2,R

rrc≔regular_semi_algebraic_set,border_polynomial

(6)
> 

rsas≔rrc11

rsas≔regular_semi_algebraic_set

(7)
> 

rbx≔RepresentingBox⁡rsas,R

rbx≔parametric_box

(8)
> 

IsParametricBox⁡rbx

true

(9)
> 

DisplayParametricBox⁡rbx:

d<0

AND

c1&colon;d2⁢a+d⁢b+c&equals;0

(10)

See Also

DisplayQuantifierFreeFormula

Info

RealRootClassification

RegularChains