print a description of a differential polynomial ring or ideal
a differential polynomial ring, or, ideal
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](...).
R ≔ DifferentialRing⁡derivations=x,y,blocks=v,u,lexw
Data structure: differential ring
Ranking: grlexA[v,u] >> lex[w]
Derivations: x > y
ideal ≔ RosenfeldGroebner⁡ux2−4⁢u,ux,y⁢vy−u+1,vx,x−ux,R
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]
Download Help Document