|
DifferentialAlgebra[Tools][Display] - print a description of a differential polynomial ring or ideal
|
|
Calling Sequence
|
|
Display (R)
|
|
|
Parameters
|
|
|
R
|
-
|
a differential polynomial ring, or, ideal
|
|
|
|
|
|
Description
|
|
|
•
|
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](...).
|
|
|
|
Examples
|
|
|
>
|
 
|
|
>
|
![R := DifferentialRing(derivations = [x, y], blocks = [[v, u], lex[w]])](/support/helpjp/helpview.aspx?si=6543/file05726/math68.png)
|
|
| (1) |
|
>
|
|
|
Data structure: differential ring
Ranking: grlexA[v,u] >> lex[w]
Derivations: x > y
Notation: jet
Parameters: []
Arbitrary: []
| |
|
>
|
![ideal := RosenfeldGroebner([u[x]^2-4*u, u[x, y]*v[y]-u+1, v[x, x]-u[x]], R)](/support/helpjp/helpview.aspx?si=6543/file05726/math87.png)
|
|
![ideal := [regular_differential_chain]](/support/helpjp/helpview.aspx?si=6543/file05726/math90.png)
| (2) |
|
>
|
![Display(ideal[1])](/support/helpjp/helpview.aspx?si=6543/file05726/math94.png)
|
|
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
Was this information helpful?
