The function call Display(R) prints a text description of R. In particular, the ranking of R is detailed.

This command is part of the DifferentialAlgebra:-Tools package. It can be called using the form Display(...) after executing the command with(DifferentialAlgebra:-Tools). It can also be directly called using the form DifferentialAlgebra[Tools][Display](...).

$\mathrm{with}\left(\mathrm{DifferentialAlgebra}\right)\:$$\mathrm{with}\left(\mathrm{Tools}\right)\:$

$R≔\mathrm{DifferentialRing}\left(\mathrm{derivations}=\left[x\,y\right]\,\mathrm{blocks}=\left[\left[v\,u\right]\,\mathrm{lex}\left[w\right]\right]\right)$

$R≔\mathrm{differential\_ring}$

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

Data structure: differential ring
Ranking:        grlexA[v,u] >> lex[w]
Derivations:    x > y
Notation:       jet
Parameters:     []
Arbitrary:     []

$\mathrm{ideal}≔\mathrm{RosenfeldGroebner}\left(\left[{u\left[x\right]}^2-4u\,u\left[x,y\right]v\left[y\right]-u+1\,v\left[x,x\right]-u\left[x\right]\right]\,R\right)$

$\mathrm{ideal}≔\left[\mathrm{regular\_differential\_chain}\right]$

$\mathrm{Display}\left(\mathrm{ideal}\left[1\right]\right)$

Data structure: regular differential chain
Leading ranks:  v[x,x] < v[y] < u[x]^2 < u[y]^2
Attributes:     [differential, autoreduced, primitive, squarefree, coherent, normalized]