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
N≔
P≔
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