If the first parameter is a regular chain rc of R, Info prints the defining equations of rc while Display prints the system of equations and inequations whose solution set is the quasi-component of rc.

If the first parameter is a regular system rs of R, Info and Display prints the defining equations and inequations of rs whose solution set is the zero-set of rs.

If the first parameter is a constructible set cs of R, Info and Display print the defining regular systems of cs.

If the first parameter is a regular semi-algebraic system rsasys of R, Info and Display print the defining regular chain, positive inequalities and quantifier-free formula of rsasys.

If the first parameter is a square-free semi-algebraic system ssasys of R, Info and Display print the defining regular chain and positive inequalities of ssasys.

If the first parameter is a regular semi-algebraic set rsaset, then Info and Display print its defining regular chain, root index list and quantifier-free formula.

If the first parameter is a semi-algebraic set saset, then Info and Display print the defining regular semi-algebraic sets of saset.

If the first parameter is a quantifier-free formula qff, then Info and Display print its defining inequations and inequalities.

If the first parameter is a CAD cell cadcell, then Info and Display print its defining inequations and inequalities.

If the first parameter is a box b , then Info and Display print isolation interval for each of the coordinates of the real point isolated by b.

If the first parameter is a parametric box pb, then Info and Display print its defining regular chain, root index list and quantifier-free formula.

If the first parameter is a border polynomial bp, then Info and Display print its defining polynomial factors.

If the first parameter is a subresultant chain src, then Info prints its defining subresultant polynomials by ascending index while Display prints them in descending index.

If the first parameter is a list, then both Info and Display are applied to all list elements recursively.

The command Info is part of the RegularChains package, so it can be used in the form Info(..) only after executing the command with(RegularChains).  However, it can always be accessed through the long form of the command by using RegularChains[Info](..). This is also true for Display.

$\mathrm{with}\left(\mathrm{RegularChains}\right)\:$

$\mathrm{with}\left(\mathrm{ConstructibleSetTools}\right)\:$$\mathrm{with}\left(\mathrm{ParametricSystemTools}\right)\:$$\mathrm{with}\left(\mathrm{SemiAlgebraicSetTools}\right)\:$$\mathrm{with}\left(\mathrm{ChainTools}\right)\:$

$R≔\mathrm{PolynomialRing}\left(\left[x\,y\,s\right]\right)\;$$F≔\left[s-\left(y+1\right)x\,s-\left(x+1\right)y\right]$

$R≔\mathrm{polynomial\_ring}$

$F≔\left[s-\left(y+1\right)x\,s-\left(x+1\right)y\right]$

$\mathrm{Display}\left(R\right)$

$\left\{\begin{array}{lll}\mathrm{Variables}& \:& \left[x\,y\,s\right]\\ \mathrm{Parameters}& \:& \varnothing \\ \mathrm{Characteristic}& \:& 0\end{array}\right.$

$\mathrm{dec}≔\mathrm{Triangularize}\left(F\,R\,\mathrm{output}=\mathrm{lazard}\right)$

$\mathrm{dec}≔\left[\mathrm{regular\_chain}\,\mathrm{regular\_chain}\right]$

$\mathrm{Info}\left(\mathrm{dec}\,R\right)$

$\left[\left[\left(y+1\right)x-s\,y^2+y-s\right]\,\left[x+1\,y+1\,s\right]\right]$

$\mathrm{Display}\left(\mathrm{dec}\,R\right)$

$\left[\left\{\begin{array}{cc}\left(y+1\right)x-s=0& \\ y^2+y-s=0& \\ y+1\ne 0& \end{array}\right.\,\left\{\begin{array}{cc}x+1=0& \\ y+1=0& \\ s=0& \end{array}\right.\right]$

$\mathrm{dec}≔\mathrm{Triangularize}\left(F\,\left[x\right]\,R\,\mathrm{output}=\mathrm{lazard}\right)$

$\mathrm{dec}≔\mathrm{constructible\_set}$

$\mathrm{Info}\left(\mathrm{dec}\,R\right)$

$\left[\left[\left(y+1\right)x-s\,y^2+y-s\right]\,\left[s\right]\right],\left[\left[x+1\,y+1\,s\right]\,\left[1\right]\right]$

$\mathrm{Display}\left(\mathrm{dec}\,R\right)$

$\left\{\begin{array}{cc}\left(y+1\right)x-s=0& \\ y^2+y-s=0& \\ y+1\ne 0& \\ s\ne 0& \end{array}\right.,\left\{\begin{array}{cc}x+1=0& \\ y+1=0& \\ s=0& \end{array}\right.$

$\mathrm{rrc}≔\mathrm{RealRootClassification}\left(F\,\left[\right]\,\left[\right]\,\left[\right]\,1\,1..k\,R\right)$

$\mathrm{rrc}≔\left[\left[\mathrm{regular\_semi\_algebraic\_set}\right]\,\mathrm{border\_polynomial}\right]$

$\mathrm{Info}\left(\mathrm{rrc}\,R\right)$

$\left[\left[\left[\left[\left[4s+1\right]\,\left[\left[1\right]\right]\right]\,\left[\right]\,\left[\right]\right]\right]\,\left[s\,s+\frac{1}{4}\right]\right]$

$\mathrm{Display}\left(\mathrm{rrc}\,R\right)$

$\left[\left[4s+1>0\right]\,\left[s\,s+\frac{1}{4}\right]\right]$

$\mathrm{pbox}≔\mathrm{RepresentingBox}\left(\mathrm{rrc}\left[1\right]\left[1\right]\,R\right)$

$\mathrm{pbox}≔\mathrm{parametric\_box}$

$\mathrm{Info}\left(\mathrm{pbox}\,R\right)$

$\left[\left[\left[4s+1\right]\,\left[\left[1\right]\right]\right]\,\left[\right]\,\left[\right]\right]$

$\mathrm{Display}\left(\mathrm{pbox}\,R\right)$

$4s+1>0$

$R≔\mathrm{PolynomialRing}\left(\left[x\,d\,c\,b\,a\right]\right)$

$R≔\mathrm{polynomial\_ring}$

$F≔\left[x^2+d\,d^2+c^2-1\,c^2+bc+a^2\right]$

$F≔\left[x^2+d\,c^2+d^2-1\,a^2+bc+c^2\right]$

$\mathrm{rrc}≔\mathrm{RealRootClassification}\left(F\,\left[\right]\,\left[\right]\,\left[\right]\,4\,1..k\,R\right)$

$\mathrm{rrc}≔\left[\left[\mathrm{regular\_semi\_algebraic\_set}\right]\,\mathrm{border\_polynomial}\right]$

$\mathrm{rsat}≔\mathrm{rrc}\left[1\right]\left[1\right]$

$\mathrm{rsat}≔\mathrm{regular\_semi\_algebraic\_set}$

$\mathrm{Info}\left(\mathrm{rsat}\,R\right)$

$\left[\left[\left[d\right]\,\left[\left[\mathrm{-1}\right]\right]\right]\,\left[-d^2+a^2+cb+1\,d^2+c^2-1\right]\,\left[\left[1\,1\right]\,\left[1\,2\right]\,\left[2\,1\right]\,\left[2\,2\right]\right]\right]$

$\mathrm{Display}\left(\mathrm{rsat}\,R\right)$

$\left\{\begin{array}{cc}a=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+cb-d^2+1\&comma;\mathrm{index}={\mathrm{real}}_1\right)& \\ c=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+d^2-1\&comma;\mathrm{index}={\mathrm{real}}_1\right)& \\ d<0& \end{array}\right.,\left\{\begin{array}{cc}a=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+cb-d^2+1\&comma;\mathrm{index}={\mathrm{real}}_2\right)& \\ c=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+d^2-1\&comma;\mathrm{index}={\mathrm{real}}_1\right)& \\ d<0& \end{array}\right.,\left\{\begin{array}{cc}a=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+cb-d^2+1\&comma;\mathrm{index}={\mathrm{real}}_1\right)& \\ c=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+d^2-1\&comma;\mathrm{index}={\mathrm{real}}_2\right)& \\ d<0& \end{array}\right.,\left\{\begin{array}{cc}a=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+cb-d^2+1\&comma;\mathrm{index}={\mathrm{real}}_2\right)& \\ c=\mathrm{RootOf}\left({\mathrm{\_Z}}^2+d^2-1\&comma;\mathrm{index}={\mathrm{real}}_2\right)& \\ d<0& \end{array}\right.$

$R≔\mathrm{PolynomialRing}\left(\left[x\&comma;y\&comma;s\right]\right)$

$R≔\mathrm{polynomial\_ring}$

$F≔\left[s-\left(y+1\right)x\&comma;s-\left(x+1\right)y\right]$

$F≔\left[s-\left(y+1\right)x\&comma;s-\left(x+1\right)y\right]$

$\mathrm{rtd}≔\mathrm{RealTriangularize}\left(F\&comma;R\right)$

$\mathrm{rtd}≔\left[\mathrm{regular\_semi\_algebraic\_system}\&comma;\mathrm{regular\_semi\_algebraic\_system}\&comma;\mathrm{regular\_semi\_algebraic\_system}\&comma;\mathrm{regular\_semi\_algebraic\_system}\right]$

$\mathrm{Info}\left(\mathrm{rtd}\&comma;R\right)$

$\left[\left[\left[\left[4s+1\&comma;s\right]\&comma;\left[\left[1\&comma;0\right]\right]\right]\&comma;\left[\left(y+1\right)x-s\&comma;y^2+y-s\right]\&comma;\left[\right]\right]\&comma;\left[\mathrm{true}\&comma;\left[x\&comma;y\&comma;s\right]\&comma;\left[\right]\right]\&comma;\left[\mathrm{true}\&comma;\left[2x+1\&comma;2y+1\&comma;4s+1\right]\&comma;\left[\right]\right]\&comma;\left[\mathrm{true}\&comma;\left[x+1\&comma;y+1\&comma;s\right]\&comma;\left[\right]\right]\right]$

$\mathrm{Display}\left(\mathrm{rtd}\&comma;R\right)$

$\left[\left\{\begin{array}{cc}\left(y+1\right)x-s=0& \\ y^2+y-s=0& \\ 4s+1>0\mathbf{and}s\ne 0& \end{array}\right.\&comma;\left\{\begin{array}{cc}x=0& \\ y=0& \\ s=0& \end{array}\right.\&comma;\left\{\begin{array}{cc}2x+1=0& \\ 2y+1=0& \\ 4s+1=0& \end{array}\right.\&comma;\left\{\begin{array}{cc}x+1=0& \\ y+1=0& \\ s=0& \end{array}\right.\right]$

$R≔\mathrm{PolynomialRing}\left(\left[y\&comma;x\right]\right)$

$R≔\mathrm{polynomial\_ring}$

$F≔\left[1-\left(y+1\right)x\&comma;1-\left(x+1\right)y\right]$

$F≔\left[1-\left(y+1\right)x\&comma;1-\left(x+1\right)y\right]$

$\mathrm{rri}≔\mathrm{RealRootIsolate}\left(F\&comma;\left[\right]\&comma;\left[\right]\&comma;\left[\right]\&comma;R\right)$

$\mathrm{rri}≔\left[\mathrm{box}\&comma;\mathrm{box}\right]$

$\mathrm{Info}\left(\mathrm{rri}\&comma;R\right)$

$\left[\left[\left[y=\left[-\frac{13}{8}\&comma;-\frac{3}{2}\right]\&comma;x=\left[-\frac{13}{8}\&comma;-\frac{207}{128}\right]\right]\&comma;\left[\left(x+1\right)y-1\&comma;x^2+x-1\right]\right]\&comma;\left[\left[y=\left[\frac{1}{2}\&comma;\frac{5}{8}\right]\&comma;x=\left[\frac{79}{128}\&comma;\frac{5}{8}\right]\right]\&comma;\left[\left(x+1\right)y-1\&comma;x^2+x-1\right]\right]\right]$

$\mathrm{Display}\left(\mathrm{rri}\&comma;R\right)$

$\left[\left\{\begin{array}{cc}y=\left[-\frac{13}{8}\&comma;-\frac{3}{2}\right]& \\ x=\left[-\frac{13}{8}\&comma;-\frac{207}{128}\right]& \end{array}\right.\&comma;\left\{\begin{array}{cc}y=\left[\frac{1}{2}\&comma;\frac{5}{8}\right]& \\ x=\left[\frac{79}{128}\&comma;\frac{5}{8}\right]& \end{array}\right.\right]$

$R≔\mathrm{PolynomialRing}\left(\left[y\&comma;x\&comma;s\right]\right)$

$R≔\mathrm{polynomial\_ring}$

$p≔s-\left(y^3+1\right)x$

$p≔s-\left(y^3+1\right)x$

$q≔s-\left(x+1\right)y^2$

$q≔s-\left(x+1\right)y^2$

$\mathrm{src}≔\mathrm{SubresultantChain}\left(p\&comma;q\&comma;y\&comma;R\right)$

$\mathrm{src}≔\mathrm{subresultant\_chain}$

$\mathrm{Info}\left(\mathrm{src}\&comma;R\right)$

$\left[s^3{x}^2-s^2{x}^3+2x^{4}s-x^5-3s^2{x}^2+6s{x}^3-3x^4-3s^{2}x+6s{x}^2-3x^3-s^2+2xs-x^2\&comma;-s{x}^{2}y+s{x}^2-yxs-x^3+2xs-2x^2+s-x\right]$

$\mathrm{Display}\left(\mathrm{src}\&comma;R\right)$

$\left\{\begin{array}{cc}\left(-s{x}^2-xs\right)y-x^3+\left(s-2\right)x^2+\left(2s-1\right)x+s& \\ -x^5+\left(2s-3\right)x^4+\left(-s^2+6s-3\right)x^3+\left(s^3-3s^2+6s-1\right)x^2+\left(-3s^2+2s\right)x-s^2& \end{array}\right.$

The RegularChains[Display] command was introduced in Maple 15.

For more information on Maple 15 changes, see Updates in Maple 15.

The rsasys and ssasys parameters were introduced in Maple 16.

For more information on Maple 16 changes, see Updates in Maple 16.