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
Determine under which conditions on the equation has 2 distinct real solutions, provided that satisfies .
See Also
DisplayQuantifierFreeFormula
Info
RealRootClassification
RegularChains
Download Help Document