RegularChains[SemiAlgebraicSetTools]
DisplayParametricBox
pretty printing of a parametric box object
Calling Sequence
Parameters
Description
Examples
DisplayParametricBox(pbx)
pbx
-
parametric box object
Print a parametric box object
with⁡RegularChains:
with⁡ParametricSystemTools:
with⁡SemiAlgebraicSetTools:
R ≔ PolynomialRing⁡x,d,a,b,c
R≔polynomial_ring
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
N ≔
N≔
P ≔
P≔
H ≔
H≔
rrc ≔ RealRootClassification⁡F,N,P,H,4,2,R
rrc≔regular_semi_algebraic_set,border_polynomial
rsas ≔ rrc11
rsas≔regular_semi_algebraic_set
rbx ≔ RepresentingBox⁡rsas,R
rbx≔parametric_box
IsParametricBox⁡rbx
true
DisplayParametricBox⁡rbx:
d<0
AND
c1:d2⁢a+d⁢b+c=0
See Also
DisplayQuantifierFreeFormula
Info
RealRootClassification
RegularChains
Download Help Document