RootFinding[Parametric] - Maple Help

Home : Support : Online Help : Mathematics : Factorization and Solving Equations : Roots : RootFinding : Parametric Subpackage : RootFinding/Parametric/CellDescription

RootFinding[Parametric]

 CellDescription
 describe a cell in terms of the real roots of its boundary polynomials

 Calling Sequence CellDescription(m, k)

Parameters

 m - solution record, as returned by CellDecomposition k - positive integer; the index of a cell

Description

 • The CellDescription command returns a list of lists of the form $\left[p,i,a,q,j\right]$ where
 – a is a parameter
 – p and q are polynomials in the parameters
 – i and j are non-negative integers
 • The CellDescription($m,k$) calling sequence returns a description of the $k$th cell in $m$ in terms of real roots of some projection polynomials.
 • The solution record m must have been computed with the option output=cad or without using the output keyword.
 • Each inner list, $\left[p,i,a,q,j\right]$, in the result is to be interpreted as follows: the $a$-coordinate of a point $u$ lying in the interior of the $k$th cell is greater than the $i$th real root of the polynomial $p$ and less than the $j$th real root of the polynomial $q$.
 • If an inner list is of the form $\left[p,i,a,\mathrm{\infty },0\right]$, then this means that the $a$-coordinate is unbounded from above, and similarly, if an inner list is of the form  $\left[-\mathrm{\infty },0,a,q,j\right]$, then the $a$-coordinate is unbounded from below.
 • The polynomials $p$ and $q$ in each inner list contain only the parameters from the current and all earlier lists. So the polynomials in the first inner list are univariate, the ones in the second inner list are bivariate, etc.
 • The result, [[${p}_{1},{i}_{1},{a}_{1},{q}_{1},{j}_{1}$], [${p}_{2},{i}_{2},{a}_{2},{q}_{2},{j}_{2}$], ...], can be used to sample a cell as follows: Compute the ${i}_{1}$th real root of the univariate polynomial ${p}_{1}$ and the ${j}_{1}$th real root of the univariate polynomial ${p}_{2}$ (for example, using RootFinding[Isolate]), and pick a value for the ${a}_{1}$-coordinate between those two roots. Then substitute that value of ${a}_{1}$ into ${p}_{2}$ and ${q}_{2}$, turning these into univariate polynomials in ${a}_{2}$. In the same way as above, compute their ${i}_{2}$th and ${j}_{2}$th roots, respectively, and pick a value for the ${a}_{2}$-coordinate in between those two roots. Continue in a similar fashion.
 • This command is part of the RootFinding[Parametric] package, so it can be used in the form CellDescription(..) only after executing the command with(RootFinding[Parametric]). However, it can always be accessed through the long form of the command by using RootFinding[Parametric][CellDescription](..).

Examples

 > $\mathrm{with}\left(\mathrm{RootFinding}[\mathrm{Parametric}]\right):$
 > $m≔\mathrm{CellDecomposition}\left(\left[{x}^{2}+a{y}^{2}-b=0,a{x}^{2}+by=0\right],\left[x,y\right]\right)$
 ${m}{:=}\left[\begin{array}{lll}{\mathrm{Equations}}& {=}& {}\left[{a}{}{{y}}^{{2}}{+}{{x}}^{{2}}{-}{b}{,}{a}{}{{x}}^{{2}}{+}{b}{}{y}\right]\\ {\mathrm{Inequalities}}& {=}& {}\left[\right]\\ {\mathrm{Filter}}& {=}& {}{0}{\ne }{1}\\ {\mathrm{Variables}}& {=}& {}\left[{x}{,}{y}\right]\\ {\mathrm{Parameters}}& {=}& {}\left[{a}{,}{b}\right]\\ {\mathrm{DiscriminantVariety}}& {=}& {}\left[\left[{a}\right]{,}\left[{b}\right]{,}\left[{4}{}{{a}}^{{3}}{+}{b}\right]\right]\\ {\mathrm{ProjectionPolynomials}}& {=}& {}\left[\left[{b}\right]{,}\left[{a}{,}{4}{}{{a}}^{{3}}{+}{b}\right]\right]\\ {\mathrm{SamplePoints}}& {=}& {}\left[\left[{a}{=}{-1}{,}{b}{=}{-1}\right]{,}\left[{a}{=}\frac{{86581115277}}{{274877906944}}{,}{b}{=}{-1}\right]{,}\left[{a}{=}{1}{,}{b}{=}{-1}\right]{,}\left[{a}{=}{-1}{,}{b}{=}{1}\right]{,}\left[{a}{=}{-}\frac{{86581115277}}{{274877906944}}{,}{b}{=}{1}\right]{,}\left[{a}{=}{1}{,}{b}{=}{1}\right]\right]\end{array}\right$ (1)
 > $\mathrm{CellDescription}\left(m,5\right)$
 $\left[\left[{b}{,}{1}{,}{b}{,}{\mathrm{∞}}{,}{0}\right]{,}\left[{4}{}{{a}}^{{3}}{+}{b}{,}{1}{,}{a}{,}{a}{,}{1}\right]\right]$ (2)

This result is to be interpreted as follows: a point $\left[{u}_{1},{u}_{2}\right]$ in the parameter space belongs to the $5$th cell if and only if

 – ${u}_{2}$ is greater than the $1$st (and only) real root of $b=0$, that is, $0<{u}_{2}$; and
 – ${u}_{1}$ is greater than the first (and only) real root of $4{a}^{3}+{u}_{2}=0$ and less than the first (and only) real root of $a=0$, that is,

$-\sqrt[3]{\frac{{u}_{2}}{4}}<{u}_{1}<0$

Similarly, a point $\left[{u}_{1},{u}_{2}\right]$ belongs to the $4$th cell if and only if

${u}_{2}>0\mathbf{and}{u}_{1}<-\sqrt[3]{\frac{{u}_{2}}{4}}$

 > $\mathrm{CellDescription}\left(m,4\right)$
 $\left[\left[{b}{,}{1}{,}{b}{,}{\mathrm{∞}}{,}{0}\right]{,}\left[{-}{\mathrm{∞}}{,}{0}{,}{a}{,}{4}{}{{a}}^{{3}}{+}{b}{,}{1}\right]\right]$ (3)
 > $\mathrm{CellPlot}\left(m,\left[4,5\right],'\mathrm{samplepoints}'\right)$