The command VariableOrdering(qff) returns the variable ordering (in decreasing order) defined in quantifier-free formula $\mathrm{qff}$.

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

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

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

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

$R≔\mathrm{polynomial\_ring}$

$F≔\left[x^2+d\,a{d}^2+bd+c\right]$

$F≔\left[x^2+d\,a{d}^2+bd+c\right]$

$N≔\left[\right]$

$N≔\left[\right]$

$P≔\left[\right]$

$P≔\left[\right]$

$H≔\left[\right]$

$H≔\left[\right]$

$\mathrm{rrc}≔\mathrm{RealRootClassification}\left(F\,N\,P\,H\,4\,2\,R\right)$

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

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

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

$\mathrm{rbx}≔\mathrm{RepresentingBox}\left(\mathrm{rsas}\,R\right)$

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

$\mathrm{qff}≔\mathrm{RepresentingQuantifierFreeFormula}\left(\mathrm{rbx}\right)$

$\mathrm{qff}≔\mathrm{quantifier\_free\_formula}$

$\mathrm{VariableOrdering}\left(\mathrm{qff}\right)$

$\left[c\,d\,a\,b\right]$