|
diffalg[differential_ring] - define a differential polynomial ring endowed with a ranking and a notation
|
|
Calling Sequence
|
|
differential_ring (derivations = D, ranking = L, field_of_constants = F, notation = N)
differential_ring (derivations = D, indeterminates = Y, leaders_of (P) = V, field_of_constants = F, notation = N)
|
|
|
Parameters
|
|
|
derivations = D
|
-
|
D is a list or a set of the names of the derivation variables.
|
|
ranking = L
|
-
|
L is a list of sub-ranking where all the differential indeterminates Y appear.
|
|
indeterminates = Y
|
-
|
Y is a list or a set of symbols representing the differential indeterminates
|
|
leaders_of (P) = V
|
-
|
P is a list of differential polynomials, V is a list of derivatives
|
|
field_of_constants = F
|
-
|
(optional) F must be a ground field
|
|
notation = N
|
-
|
(optional) name; jet, diff, or Diff
|
|
|
|
|
|
Description
|
|
|
•
|
If present, the field of constants F should be defined by field_extension. If omitted, it is the field of the rational numbers.
|
|
•
|
The parameter derivations = D sets the derivation variables. The order of its elements enters in the definition of the ranking of R.
|
|
•
|
The parameter ranking = L defines both the differential indeterminates of R and the ranking. Differential indeterminates must have the Maple type symbol.
|
|
|
The available sub-rankings are lex, grlexA, grlexB, degrevlexA, and degrevlexB.
|
|
|
Then L shall be given as L = [ a non-empty sequence of blocks ], where a block is either a single differential indeterminate or `a sub-ranking` (a non-empty sequence of differential indeterminates). If `a sub-ranking` is omitted, grlexA is chosen.
|
|
|
An elimination ranking is set between the differential indeterminates that belong to different blocks. The indeterminates that appear in the leftmost blocks are greater than the indeterminates in rightmost ones.
|
|
|
The derivatives of differential indeterminates that belong to the same block are ordered according to the specified sub-ranking.
|
|
•
|
The parameter notation = N sets the notation to be used in the inputs and the outputs of the functions of the diffalg package receiving R as one of their parameter.
|
|
|
The notation N = diff or Diff refers to the Maple diff or Diff functionalities.
|
|
|
The notation N = jet is a more compact notation specific to this package. It is the default notation. A derivative is entered as u[a sequence of derivation variables], where u is one of the differential indeterminates.
|
|
|
The function denote makes the conversions between the three notations.
|
|
•
|
The pair of parameters indeterminates = Y, leaders_of (P) = V provides an alternative way to define a ranking.
|
|
|
Y is a list or a set of symbols and defines the differential indeterminates of R.
|
|
|
The lists P and V must have the same length, say n. For each i (i = 1 .. n), V[i] must be a derivative occurring in the differential polynomial P[i]. The function associates weights to differential indeterminates and derivations so that the leader of P[i] is V[i]. The simplex algorithm is used for determining weights.
|
|
•
|
The description of the ranking defined on R can be obtained by using the command print_ranking.
|
|
•
|
The parameters of differential_ring can actually appear in any order.
|
|
•
|
The command with(diffalg,differential_ring) allows the use of the abbreviated form of this command.
|
|
|
|
Examples
|
|
Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.
For the introduction of transcendental elements (arbitrary constants) or algebraic extensions, refer to the examples in the help page of field_extension.
A ranking is chosen according to which structural properties of a system you want to exhibit. Elimination ranking, orderly ranking, and lexicographic ranking examples follow.
This first example illustrates a purely elimination ranking between two differential indeterminates  and  . Any derivative of v is greater than any derivative of u.
|
>
|
|
|
>
|
![R := differential_ring(derivations = [x], ranking = [v, u], notation = diff)](/support/helpjp/helpview.aspx?si=7143/file07255/math305.png)
|
|
| (1) |
Rank all derivatives of order less than or equal to 3 by using the derivatives command.
|
>
|
![Ders := [v(x), u(x), seq(seq(diff(U(x), [`$`(x, i)]), i = 1 .. 3), U = [v, u])]](/support/helpjp/helpview.aspx?si=7143/file07255/math317.png)
|
|
>
|
|
|
![[u(x), diff(u(x), x), diff(u(x), `$`(x, 2)), diff(u(x), `$`(x, 3)), v(x), diff(v(x), x), diff(v(x), `$`(x, 2)), diff(v(x), `$`(x, 3))]](/support/helpjp/helpview.aspx?si=7143/file07255/math324.png)
| (2) |
The following example illustrates the default jet notation, and two orderly rankings.
|
>
|
![R1 := differential_ring(derivations = [x, y], ranking = [[u, v]])](/support/helpjp/helpview.aspx?si=7143/file07255/math332.png)
|
|
| (3) |
|
>
|
![R2 := differential_ring(derivations = [y, x], ranking = [[u, v]])](/support/helpjp/helpview.aspx?si=7143/file07255/math339.png)
|
|
| (4) |
|
>
|
![denote(v[x, y, y], diff, R1)](/support/helpjp/helpview.aspx?si=7143/file07255/math346.png)
|
|
| (5) |
Rank all derivatives of order less than or equal to 3.
|
>
|
 ![Ders := [seq(seq(seq(U[`$`(x, i), `$`(y, j)], i = 0 .. n-j), j = 0 .. n), U = [u, v])]](/support/helpjp/helpview.aspx?si=7143/file07255/math356.png)
|
|
>
|
|
|
![[v[], u[], v[y], v[x], u[y], u[x], v[y, y], v[x, y], v[x, x], u[y, y], u[x, y], u[x, x], v[y, y, y], v[x, y, y], v[x, x, y], v[x, x, x], u[y, y, y], u[x, y, y], u[x, x, y], u[x, x, x]]](/support/helpjp/helpview.aspx?si=7143/file07255/math363.png)
| (6) |
|
>
|
|
|
![[v[], u[], v[x], v[y], u[x], u[y], v[x, x], v[y, x], v[y, y], u[x, x], u[y, x], u[y, y], v[x, x, x], v[y, x, x], v[y, y, x], v[y, y, y], u[x, x, x], u[y, x, x], u[y, y, x], u[y, y, y]]](/support/helpjp/helpview.aspx?si=7143/file07255/math370.png)
| (7) |
The derivatives are first ranked according to their order. You can examine how the order in which the derivation variables are given influences the ranking.
The following example illustrates a lexicographical ranking.
|
>
|
![R := differential_ring(derivations = [z, y, x], ranking = [lex[u]])](/support/helpjp/helpview.aspx?si=7143/file07255/math378.png)
|
|
| (8) |
Rank all derivatives of order less than or equal to 3.
|
>
|
 ![Ders := [seq(seq(seq(u[`$`(x, i), `$`(y, j), `$`(z, k)], i = 0 .. n-k-j), j = 0 .. n-k), k = 0 .. n)]](/support/helpjp/helpview.aspx?si=7143/file07255/math388.png)
|
|
>
|
|
|
![[u[], u[x], u[x, x], u[x, x, x], u[y], u[y, x], u[y, x, x], u[y, y], u[y, y, x], u[y, y, y], u[z], u[z, x], u[z, x, x], u[z, y], u[z, y, x], u[z, y, y], u[z, z], u[z, z, x], u[z, z, y], u[z, z, z]]](/support/helpjp/helpview.aspx?si=7143/file07255/math395.png)
| (9) |
The following example illustrates a mixed ranking and its description by using the print_ranking command.
|
>
|
![R := differential_ring(derivations = [x, y, z], ranking = [lex[w], degrevlexB[v, u]])](/support/helpjp/helpview.aspx?si=7143/file07255/math404.png)
|
|
| (10) |
|
>
|
|
|
In lists, leftmost elements are greater than rightmost ones.
The derivatives of [w] are ordered by lex:
_U [tau] > _V [phi] when
tau > phi for the lex. order [x, y, z] or
tau = phi and _U > _V w.r.t. the list of indeterminates
Any derivative of [w] is greater than any derivative of [v, u]
The derivatives of [v, u] are ordered by degrevlexB:
_U [tau] > _V [phi] when
|tau| > |phi| or
|tau| = |phi| and tau < phi w.r.t. [z, y, x] or
tau = phi and _U > _V w.r.t. the list of indeterminates
| |
Rank all derivatives of order less than or equal to 2.
|
>
|
 ![Ders := [seq(seq(seq(seq(U[`$`(x, i), `$`(y, j), `$`(z, k)], i = 0 .. n-k-j), j = 0 .. n-k), k = 0 .. n), U = [w, v, u])]](/support/helpjp/helpview.aspx?si=7143/file07255/math431.png)
|
|
>
|
|
|
![[u[], v[], u[z], v[z], u[y], v[y], u[x], v[x], u[z, z], v[z, z], u[y, z], v[y, z], u[x, z], v[x, z], u[y, y], v[y, y], u[x, y], v[x, y], u[x, x], v[x, x], w[], w[z], w[z, z], w[y], w[y, z], w[y, y], w[x], w[x, z], w[x, y], w[x, x]]](/support/helpjp/helpview.aspx?si=7143/file07255/math438.png)
| (11) |
The following example illustrates the alternative set up of the ranking.
|
>
|
![p := u[x, x]+v[y]](/support/helpjp/helpview.aspx?si=7143/file07255/math444.png)
|
|
>
|
![q := v[x, y]+v[y, y]](/support/helpjp/helpview.aspx?si=7143/file07255/math448.png)
|
|
>
|
![R := differential_ring(derivations = [x, y], indeterminates = {u, v}, leaders_of([p, q]) = [v[y], v[x, y]])](/support/helpjp/helpview.aspx?si=7143/file07255/math452.png)
|
|
| (12) |
|
>
|
|
|
In lists, leftmost elements are greater than rightmost ones.
The derivatives of [u, v] are ordered by weights:
Weights are [u = 0, v = 4, x = 2, y = 1]
_U [tau] > _V [phi] when
weight (_U [tau]) > weight (_V [phi]) or
weights are equal and _U > _V w.r.t. the list of indeterminates or
weights and indeterminates are equal and
tau > phi for the lex. order [x, y]
| |
Rank all derivatives of order 3 and less:
|
>
|
 ![Ders := [seq(seq(seq(U[`$`(x, i), `$`(y, j)], i = 0 .. n-j), j = 0 .. n), U = [v, u])]](/support/helpjp/helpview.aspx?si=7143/file07255/math476.png)
|
|
>
|
|
|
![[u[], u[y], u[y, y], u[x], u[y, y, y], u[x, y], v[], u[x, y, y], u[x, x], v[y], u[x, x, y], v[y, y], v[x], u[x, x, x], v[y, y, y], v[x, y], v[x, y, y], v[x, x], v[x, x, y], v[x, x, x]]](/support/helpjp/helpview.aspx?si=7143/file07255/math483.png)
| (13) |
|
|
