>
|
|
| (1) |
Consider two lists of infinitesimals corresponding to a symmetry transformation where there are two independent variables and one dependent variable, .
>
|
|
| (2) |
The corresponding infinitesimal generators in operator format are
>
|
|
| (3) |
>
|
|
| (4) |
The symmetry commutator is ; when S1 is a operator, the output is then a differential operator
>
|
|
| (5) |
The output can be requested as an ordered list of infinitesimal components
>
|
|
| (6) |
The input can also be given in mixed formats, in which case the output is returned in the format of the first infinitesimal
>
|
|
| (7) |
The prolongation order of the commutator is by default the one of the given infinitesimals, but can also be specified using the optional argument prolongation = n, where n is a positive integer.
>
|
|
| (8) |
To request the output in a different notation, for instance jetnumbers (see ToJet), use the optional argument jetnotation = ....
>
|
|
| (9) |
Note that in the output above the infinitesimals (right-hand-sides) and also their labels (left-hand-sides) are written in jetnumbers notation. You can also specify the output format to be an operator
>
|
|
| (10) |