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
withRegularChains:
withParametricSystemTools:
withSemiAlgebraicSetTools:
R≔PolynomialRingx,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 ad2+bd+c=0.
F≔x2+d,ad2+bd+c
N≔
P≔
H≔
rrc≔RealRootClassificationF,N,P,H,4,2,R
rrc≔regular_semi_algebraic_set,border_polynomial
rsas≔rrc11
rsas≔regular_semi_algebraic_set
rbx≔RepresentingBoxrsas,R
rbx≔parametric_box
IsParametricBoxrbx
true
DisplayParametricBoxrbx:
d<0
AND
c1:d2a+db+c=0
See Also
DisplayQuantifierFreeFormula
Info
RealRootClassification
RegularChains
Download Help Document