RepresentingChain - Maple Help

RegularChains[SemiAlgebraicSetTools]

 RepresentingChain
 return the regular chain part of a regular semi-algebraic set/system

 Calling Sequence RepresentingChain(rst, R) RepresentingChain(rsas, R)

Parameters

 rst - a regular semi-algebraic set rsas - a regular semi-algebraic system R - a polynomial ring

Description

 • The command RepresentingChain(rst, R) or the command RepresentingChain(rsas, R) returns the regular chain part of its first argument.
 See the page SemiAlgebraicSetTools for the definition of a regular semi-algebraic system and that of a regular semi-algebraic set.

Examples

 > $\mathrm{with}\left(\mathrm{RegularChains}\right):$
 > $\mathrm{with}\left(\mathrm{ChainTools}\right):$
 > $\mathrm{with}\left(\mathrm{ParametricSystemTools}\right):$
 > $\mathrm{with}\left(\mathrm{SemiAlgebraicSetTools}\right):$
 > $f≔a{x}^{2}+bx+c$
 ${f}{≔}{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}$ (1)
 > $F≔\left[f\right]$
 ${F}{≔}\left[{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}\right]$ (2)
 > $N≔\left[\right]$
 ${N}{≔}\left[\right]$ (3)
 > $P≔\left[\right]$
 ${P}{≔}\left[\right]$ (4)
 > $H≔\left[\right]$
 ${H}{≔}\left[\right]$ (5)
 > $R≔\mathrm{PolynomialRing}\left(\left[x,a,b,c\right]\right)$
 ${R}{≔}{\mathrm{polynomial_ring}}$ (6)
 > $d≔3$
 ${d}{≔}{3}$ (7)
 > $\mathrm{rrc}≔\mathrm{RealRootClassification}\left(F,N,P,H,d,1..n,R\right)$
 ${\mathrm{rrc}}{≔}\left[\left[{\mathrm{regular_semi_algebraic_set}}\right]{,}{\mathrm{border_polynomial}}\right]$ (8)
 > $\mathrm{rst}≔{{\mathrm{rrc}}_{1}}_{1}$
 ${\mathrm{rst}}{≔}{\mathrm{regular_semi_algebraic_set}}$ (9)
 > $\mathrm{rc}≔\mathrm{RepresentingChain}\left(\mathrm{rst},R\right)$
 ${\mathrm{rc}}{≔}{\mathrm{regular_chain}}$ (10)
 > $\mathrm{Info}\left(\mathrm{rc},R\right)$
 $\left[\right]$ (11)
 > $F≔\left[a{x}^{2}+bx+c=0,0
 ${F}{≔}\left[{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}{=}{0}{,}{0}{<}{x}{,}{a}{\ne }{0}\right]$ (12)
 > $R≔\mathrm{PolynomialRing}\left(\left[x,c,b,a\right]\right)$
 ${R}{≔}{\mathrm{polynomial_ring}}$ (13)
 > $\mathrm{out}≔\mathrm{LazyRealTriangularize}\left(F,R,\mathrm{output}=\mathrm{list}\right)$
 ${\mathrm{out}}{≔}\left[{\mathrm{regular_semi_algebraic_system}}\right]$ (14)
 > $\mathrm{map}\left(\mathrm{Display},\mathrm{out},R\right)$
 $\left[\left\{\begin{array}{cc}{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}{=}{0}& {}\\ {x}{>}{0}& {}\\ \left\{\begin{array}{cc}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{\ne }{0}& {}\\ \phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{<}{0}& {}\\ \phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{\ne }{0}& {}\\ \phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{>}{0}& {}\end{array}\right\& {}\end{array}\right\\right]$ (15)
 > $P≔\mathrm{PositiveInequalities}\left({\mathrm{out}}_{1},R\right)$
 ${P}{≔}\left[{x}\right]$ (16)
 > $\mathrm{rc}≔\mathrm{RepresentingChain}\left({\mathrm{out}}_{1},R\right);$$\mathrm{Display}\left(\mathrm{rc},R\right)$
 ${\mathrm{rc}}{≔}{\mathrm{regular_chain}}$
 $\left\{\begin{array}{cc}{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}{=}{0}& {}\\ {a}{\ne }{0}& {}\end{array}\right\$ (17)
 > $\mathrm{qff}≔\mathrm{RepresentingQuantifierFreeFormula}\left({\mathrm{out}}_{1}\right);$$\mathrm{Display}\left(\mathrm{qff},R\right)$
 ${\mathrm{qff}}{≔}{\mathrm{quantifier_free_formula}}$
 ${-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{\ne }{0}$
 $\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{<}{0}$
 $\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{\ne }{0}$
 $\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{>}{0}$ (18)
 > $\mathrm{Display}\left({\mathrm{out}}_{1},R\right)$
 $\left\{\begin{array}{cc}{a}{}{{x}}^{{2}}{+}{b}{}{x}{+}{c}{=}{0}& {}\\ {x}{>}{0}& {}\\ \left\{\begin{array}{cc}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{\ne }{0}& {}\\ \phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{<}{0}& {}\\ \phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{\ne }{0}& {}\\ \phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{or}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{-}{4}{}{c}{}{a}{+}{{b}}^{{2}}{>}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{c}{<}{0}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{a}{>}{0}& {}\end{array}\right\& {}\end{array}\right\$ (19)